Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 31, 33, 35, 36, 37, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 87, 89, 91, 92, 93, 94, 95, 96, 103, 104, 105, 106, 107, 108, 109, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 126, 127, 128, 129, 130, 167, 168, 169, 170, 171, 176, 177, 178, 179, 180, 185, 186, 187, 188, 189, 190, 194, 195, 196, 197, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 240, 241, 242, 243, 244, 245, 246, 248, 252, 253, 254, 255, 256, 257, 260, 261, 262, 263, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 297, 300, 303, 306, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 331, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 393, 394, 395, 396, 397, 398, 399, 400, 401, 407, 408, 409, 411, 412, 413, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454 }

B grade: { 26, 28, 30, 32, 34, 328, 329, 330, 332, 333, 334, 349, 350, 351, 352, 353, 354, 392, 410, 414, 415, 416, 417, 418, 419, 420, 421 }

C grade: { 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 86, 88, 90, 97, 98, 99, 100, 101, 102, 110, 111, 112, 124, 125, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 172, 173, 174, 175, 181, 182, 183, 184, 191, 192, 193, 198, 199, 200, 201, 202, 238, 239, 247, 249, 250, 251, 258, 259, 264, 265, 266, 267, 268, 289, 290, 291, 292, 293, 294, 295, 296, 298, 299, 301, 302, 304, 305, 307, 402, 403, 404, 405, 406, 437, 438 }

F grade: { }

2.1.3 Maple

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 30, 31, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 87, 88, 89, 90, 91, 94, 95, 96, 103, 105, 117, 118, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 273, 274, 275, 276, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 303, 306, 308, 309, 310, 311, 312, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 355, 356, 358, 360, 362, 363, 369, 377, 382, 383, 384, 385, 386, 388, 389, 394, 402, 408, 431, 432, 433, 434, 435, 436, 448, 449, 450 }

B grade: { 28, 32, 86, 104, 110, 111, 112, 119, 120, 124, 125, 126, 127, 272, 313, 328, 329, 330, 331, 332, 333, 334, 335, 336, 348, 349, 350, 351, 352, 353, 354, 357, 359, 361, 387, 412 }

C grade: { 92, 93, 97, 98, 99, 100, 101, 102, 106, 107, 108, 109, 113, 114, 115, 116, 121, 122, 123, 128, 129, 130, 295, 296, 297, 298, 299, 300, 301, 302, 304, 305, 307, 407, 411 }

F grade: { 277, 278, 279, 364, 365, 366, 367, 368, 370, 371, 372, 373, 374, 375, 376, 378, 379, 380, 381, 390, 391, 392, 393, 395, 396, 397, 398, 399, 400, 401, 403, 404, 405, 406, 409, 410, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 451, 452, 453, 454 }

2.1.4 Maxima

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 16, 18, 20, 22, 24, 26, 27, 29, 31, 33, 34, 35, 36, 37, 94, 95, 96, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 240, 241, 242, 243, 244, 245, 252, 253, 254, 255, 260, 261, 262, 263, 284, 285, 286, 303, 306, 308, 309, 319, 320, 321, 322, 323, 324, 325, 326, 338, 339, 340, 344, 345, 346, 347, 349, 352, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 433, 434, 435, 436, 448, 449, 450

B grade: { 28, 30, 32, 283, 327, 328, 329, 330, 332, 333, 334, 337, 341, 342, 343, 350, 351, 353 }

C grade: { }

F grade: { 13, 15, 17, 19, 21, 23, 25, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 236, 237, 238, 239, 246, 247, 248, 249, 250, 251, 256, 257, 258, 259, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 304, 305, 307, 310, 311, 312, 313, 314, 315, 316, 317, 318, 331, 335, 336, 348, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 451, 452, 453, 454 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 29, 31, 33, 35, 36, 37, 75, 76, 77, 78, 80, 81, 82, 83, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 106, 107, 108, 109, 113, 114, 115, 116, 121, 122, 123, 128, 129, 130, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 280, 281, 282, 284, 285, 286, 287, 288, 297, 300, 303, 306, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 324, 325, 326, 338, 339, 340, 344, 345, 346, 355, 356, 357, 358, 359, 360, 361, 362, 363, 369, 377, 382, 383, 384, 385, 386, 387, 388, 389, 394, 402, 407, 408, 409, 410, 411, 412, 413, 414, 416, 419, 431, 432, 433, 434, 435, 436, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454 }

B grade: { 28, 30, 32, 34, 79, 84, 127, 283, 323, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 341, 342, 343, 347, 348, 349, 350, 351, 352, 353, 354 }

C grade: { }

F grade: { 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 97, 98, 99, 100, 101, 102, 103, 104, 105, 110, 111, 112, 117, 118, 119, 120, 124, 125, 126, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 277, 278, 279, 289, 290, 291, 292, 293, 294, 295, 296, 298, 299, 301, 302, 304, 305, 307, 364, 365, 366, 367, 368, 370, 371, 372, 373, 374, 375, 376, 378, 379, 380, 381, 390, 391, 392, 393, 395, 396, 397, 398, 399, 400, 401, 403, 404, 405, 406, 415, 417, 418, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 437, 438, 439, 440, 441, 442, 443 }

2.1.6 Sympy

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 12, 14, 16, 18, 20, 22, 23, 24, 25, 27, 29, 31, 33, 34, 35, 36, 37, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 308, 309, 319, 320, 321, 322, 324, 325, 326, 327, 338, 339, 340, 344, 345, 346, 347, 355, 356, 357, 358, 359, 360, 362, 369, 377, 394, 433 }

B grade: { 9, 13, 15, 17, 19, 21, 26, 28, 30, 32, 283, 323, 328, 329, 330, 332, 333, 334, 341, 342, 349, 350, 351, 352, 353, 354, 361, 363, 402 }

C grade: { }

F grade: { 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 310, 311, 312, 313, 314, 315, 316, 317, 318, 331, 335, 336, 337, 343, 348, 364, 365, 366, 367, 368, 370, 371, 372, 373, 374, 375, 376, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 395, 396, 397, 398, 399, 400, 401, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 27, 29, 31, 33, 34, 35, 36, 37, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 103, 104, 105, 106, 107, 108, 109, 113, 117, 118, 119, 120, 121, 122, 123, 127, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 246, 247, 248, 249, 250, 251, 255, 256, 262, 263, 269, 270, 271, 272, 273, 274, 275, 276, 283, 287, 288, 297, 300, 303, 306, 308, 309, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 349, 352, 354, 360, 361, 382, 383, 384, 386, 387, 388, 432, 433, 434, 435, 436 }

B grade: { 26, 28, 30, 32, 245, 328, 329, 330, 332, 333, 334, 335, 336, 348, 350, 351, 353, 362, 431 }

C grade: { }

F grade: { 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 97, 98, 99, 100, 101, 102, 110, 111, 112, 114, 115, 116, 124, 125, 126, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 252, 253, 254, 257, 258, 259, 260, 261, 264, 265, 266, 267, 268, 277, 278, 279, 280, 281, 282, 284, 285, 286, 289, 290, 291, 292, 293, 294, 295, 296, 298, 299, 301, 302, 304, 305, 307, 310, 311, 325, 326, 327, 331, 337, 355, 356, 357, 358, 359, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 385, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 31 12 18
normalized size 1 1. 1. 0.82 1.06 1.82 0.71 1.06
time (sec) N/A 0.005 0.001 0. 1.06 1.184 0.053 1.125


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 31 12 18
normalized size 1 1. 1. 0.82 1.06 1.82 0.71 1.06
time (sec) N/A 0.004 0.001 0.001 1.079 1.22 0.053 1.181


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 31 12 18
normalized size 1 1. 1. 0.82 1.06 1.82 0.71 1.06
time (sec) N/A 0.003 0. 0.002 1.063 1.271 0.052 1.177


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 11 14 23 8 14
normalized size 1 1. 1. 0.92 1.17 1.92 0.67 1.17
time (sec) N/A 0.003 0. 0. 1.041 1.345 0.052 1.239


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 12 15 30 10 19
normalized size 1 1. 1. 0.92 1.15 2.31 0.77 1.46
time (sec) N/A 0.005 0.001 0.002 1.036 1.334 0.077 1.184


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 55 26 32
normalized size 1 1. 1. 0.83 1.07 1.83 0.87 1.07
time (sec) N/A 0.015 0.001 0.001 1.059 1.204 0.061 1.131


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 55 24 32
normalized size 1 1. 1. 0.83 1.07 1.83 0.8 1.07
time (sec) N/A 0.02 0.001 0.001 1.029 1.177 0.059 1.166


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 55 26 32
normalized size 1 1. 1. 0.83 1.07 1.83 0.87 1.07
time (sec) N/A 0.011 0.002 0.001 1.089 1.201 0.06 1.209


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 16 25 32 55 24 32
normalized size 1 1. 1. 1.56 2. 3.44 1.5 2.
time (sec) N/A 0.007 0.002 0.002 1.103 1.342 0.068 1.17


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 22 28 47 22 28
normalized size 1 1. 1. 0.88 1.12 1.88 0.88 1.12
time (sec) N/A 0.012 0.001 0.002 0.996 1.319 0.06 1.22


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 46 37 49 130 42 49
normalized size 1 1. 1. 0.8 1.07 2.83 0.91 1.07
time (sec) N/A 0.016 0.002 0.002 1.042 1.208 0.062 1.253


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 24 31 49 20 32
normalized size 1 1. 1. 0.89 1.15 1.81 0.74 1.19
time (sec) N/A 0.023 0.004 0.001 1.064 1.385 0.29 1.201


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 27 0 165 56 35
normalized size 1 1. 1. 0.87 0. 5.32 1.81 1.13
time (sec) N/A 0.016 0.009 0.004 0. 1.412 0.288 1.247


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 30 10 19
normalized size 1 1. 1. 0.93 1.2 2. 0.67 1.27
time (sec) N/A 0.007 0.002 0.002 1.052 1.367 0.101 1.271


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 16 0 151 53 20
normalized size 1 1. 1. 0.67 0. 6.29 2.21 0.83
time (sec) N/A 0.009 0.004 0.003 0. 1.41 0.123 1.162


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 21 27 49 15 32
normalized size 1 1. 1. 0.95 1.23 2.23 0.68 1.45
time (sec) N/A 0.012 0.004 0.005 1.061 1.409 0.178 1.182


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 34 30 0 173 65 39
normalized size 1 1. 1. 0.88 0. 5.09 1.91 1.15
time (sec) N/A 0.017 0.012 0.005 0. 1.398 0.312 1.271


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 35 35 35 32 42 80 31 58
normalized size 1 1. 1. 0.91 1.2 2.29 0.89 1.66
time (sec) N/A 0.026 0.006 0.004 1.048 1.423 0.4 1.305


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 43 39 0 234 87 54
normalized size 1 1. 1. 0.91 0. 5.44 2.02 1.26
time (sec) N/A 0.026 0.019 0.005 0. 1.398 0.369 1.256


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 49 44 59 108 42 77
normalized size 1 1. 1. 0.9 1.2 2.2 0.86 1.57
time (sec) N/A 0.033 0.007 0.006 1.07 1.438 0.453 1.215


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 45 36 0 261 78 47
normalized size 1 1. 1. 0.8 0. 5.8 1.73 1.04
time (sec) N/A 0.015 0.024 0.004 0. 1.425 0.345 1.263


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 33 35 46 108 34 63
normalized size 1 1. 0.87 0.92 1.21 2.84 0.89 1.66
time (sec) N/A 0.028 0.013 0.009 1.008 1.408 0.415 1.202


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 54 46 0 288 90 63
normalized size 1 1. 0.95 0.81 0. 5.05 1.58 1.11
time (sec) N/A 0.018 0.034 0.008 0. 1.46 0.436 1.183


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 41 46 68 157 49 69
normalized size 1 1. 0.84 0.94 1.39 3.2 1. 1.41
time (sec) N/A 0.039 0.035 0.012 1.11 1.422 0.515 1.195


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 67 59 0 359 114 80
normalized size 1 1. 0.99 0.87 0. 5.28 1.68 1.18
time (sec) N/A 0.029 0.037 0.01 0. 1.466 0.516 1.24


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A A B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 29 22 28 65 19 31
normalized size 1 1. 2.23 1.69 2.15 5. 1.46 2.38
time (sec) N/A 0.011 0.004 0.003 1.067 1.505 0.094 1.197


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 18 19 24 39 14 20
normalized size 1 1. 0.9 0.95 1.2 1.95 0.7 1.
time (sec) N/A 0.015 0.003 0.002 1.036 1.561 0.075 1.324


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 6 6 22 17 22 51 14 24
normalized size 1 1. 3.67 2.83 3.67 8.5 2.33 4.
time (sec) N/A 0.008 0.003 0.001 1.042 1.686 0.083 1.231


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 14 18 26 8 20
normalized size 1 1. 1. 1.17 1.5 2.17 0.67 1.67
time (sec) N/A 0.006 0.002 0.003 1.023 1.61 0.074 1.271


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 2 2 19 3 18 45 12 20
normalized size 1 1. 9.5 1.5 9. 22.5 6. 10.
time (sec) N/A 0.004 0.002 0.001 1.074 1.608 0.083 1.236


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 16 20 38 10 22
normalized size 1 1. 1. 1.07 1.33 2.53 0.67 1.47
time (sec) N/A 0.008 0.002 0.006 1.028 1.445 0.088 1.221


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 24 19 24 55 15 27
normalized size 1 1. 3. 2.38 3. 6.88 1.88 3.38
time (sec) N/A 0.008 0.003 0.005 1.1 1.434 0.093 1.193


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 21 27 65 17 35
normalized size 1 1. 1. 0.95 1.23 2.95 0.77 1.59
time (sec) N/A 0.015 0.003 0.007 1.047 1.385 0.097 1.27


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A A B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 31 24 34 80 24 36
normalized size 1 1. 2.07 1.6 2.27 5.33 1.6 2.4
time (sec) N/A 0.01 0.004 0.005 1.097 1.406 0.108 1.231


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 26 36 78 22 45
normalized size 1 1. 1. 0.9 1.24 2.69 0.76 1.55
time (sec) N/A 0.016 0.003 0.007 1.141 1.405 0.112 1.236


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 41 12 24
normalized size 1 1. 1. 0.93 1.2 2.73 0.8 1.6
time (sec) N/A 0.009 0.003 0.005 1.035 1.385 0.123 1.215


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 16 20 39 12 24
normalized size 1 1. 1. 0.89 1.11 2.17 0.67 1.33
time (sec) N/A 0.01 0.003 0.003 1.051 1.408 0.122 1.235


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 95 168 0 0 0 0
normalized size 1 1. 0.58 1.03 0. 0. 0. 0.
time (sec) N/A 0.188 0.05 0.018 0. 0. 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 281 281 80 197 0 0 0 0
normalized size 1 1. 0.28 0.7 0. 0. 0. 0.
time (sec) N/A 0.264 0.032 0.011 0. 0. 0. 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 79 146 0 0 0 0
normalized size 1 1. 0.58 1.07 0. 0. 0. 0.
time (sec) N/A 0.122 0.027 0.012 0. 0. 0. 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 51 175 0 0 0 0
normalized size 1 1. 0.2 0.69 0. 0. 0. 0.
time (sec) N/A 0.173 0.011 0.011 0. 0. 0. 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 48 124 0 0 0 0
normalized size 1 1. 0.42 1.1 0. 0. 0. 0.
time (sec) N/A 0.086 0.011 0.012 0. 0. 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 248 248 51 177 0 0 0 0
normalized size 1 1. 0.21 0.71 0. 0. 0. 0.
time (sec) N/A 0.201 0.012 0.013 0. 0. 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 53 123 0 0 0 0
normalized size 1 1. 0.46 1.06 0. 0. 0. 0.
time (sec) N/A 0.088 0.014 0.005 0. 0. 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 283 283 53 201 0 0 0 0
normalized size 1 1. 0.19 0.71 0. 0. 0. 0.
time (sec) N/A 0.251 0.013 0.006 0. 0. 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 186 186 94 188 0 0 0 0
normalized size 1 1. 0.51 1.01 0. 0. 0. 0.
time (sec) N/A 0.23 0.055 0.014 0. 0. 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 84 217 0 0 0 0
normalized size 1 1. 0.28 0.71 0. 0. 0. 0.
time (sec) N/A 0.3 0.042 0.012 0. 0. 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 83 166 0 0 0 0
normalized size 1 1. 0.53 1.05 0. 0. 0. 0.
time (sec) N/A 0.134 0.035 0.011 0. 0. 0. 0.


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 275 275 52 195 0 0 0 0
normalized size 1 1. 0.19 0.71 0. 0. 0. 0.
time (sec) N/A 0.225 0.012 0.011 0. 0. 0. 0.


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 49 144 0 0 0 0
normalized size 1 1. 0.37 1.07 0. 0. 0. 0.
time (sec) N/A 0.132 0.014 0.012 0. 0. 0. 0.


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 274 274 52 194 0 0 0 0
normalized size 1 1. 0.19 0.71 0. 0. 0. 0.
time (sec) N/A 0.233 0.014 0.016 0. 0. 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 134 134 54 139 0 0 0 0
normalized size 1 1. 0.4 1.04 0. 0. 0. 0.
time (sec) N/A 0.131 0.015 0.017 0. 0. 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 277 277 54 196 0 0 0 0
normalized size 1 1. 0.19 0.71 0. 0. 0. 0.
time (sec) N/A 0.261 0.013 0.016 0. 0. 0. 0.


















Problem 54 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 54 142 0 0 0 0
normalized size 1 1. 0.39 1.04 0. 0. 0. 0.
time (sec) N/A 0.134 0.016 0.015 0. 0. 0. 0.


















Problem 55 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 306 306 54 223 0 0 0 0
normalized size 1 1. 0.18 0.73 0. 0. 0. 0.
time (sec) N/A 0.312 0.016 0.018 0. 0. 0. 0.


















Problem 56 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 54 169 0 0 0 0
normalized size 1 1. 0.33 1.04 0. 0. 0. 0.
time (sec) N/A 0.178 0.016 0.019 0. 0. 0. 0.


















Problem 57 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 140 140 80 149 0 0 0 0
normalized size 1 1. 0.57 1.06 0. 0. 0. 0.
time (sec) N/A 0.137 0.032 0.013 0. 0. 0. 0.


















Problem 58 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 258 258 66 178 0 0 0 0
normalized size 1 1. 0.26 0.69 0. 0. 0. 0.
time (sec) N/A 0.205 0.026 0.011 0. 0. 0. 0.


















Problem 59 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 64 127 0 0 0 0
normalized size 1 1. 0.55 1.09 0. 0. 0. 0.
time (sec) N/A 0.091 0.025 0.013 0. 0. 0. 0.


















Problem 60 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 229 229 53 158 0 0 0 0
normalized size 1 1. 0.23 0.69 0. 0. 0. 0.
time (sec) N/A 0.15 0.013 0.011 0. 0. 0. 0.


















Problem 61 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 92 92 49 108 0 0 0 0
normalized size 1 1. 0.53 1.17 0. 0. 0. 0.
time (sec) N/A 0.049 0.01 0.013 0. 0. 0. 0.


















Problem 62 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 253 48 182 0 0 0 0
normalized size 1 1. 0.19 0.72 0. 0. 0. 0.
time (sec) N/A 0.2 0.012 0.015 0. 0. 0. 0.


















Problem 63 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 119 119 53 129 0 0 0 0
normalized size 1 1. 0.45 1.08 0. 0. 0. 0.
time (sec) N/A 0.089 0.015 0.014 0. 0. 0. 0.


















Problem 64 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 286 286 53 204 0 0 0 0
normalized size 1 1. 0.19 0.71 0. 0. 0. 0.
time (sec) N/A 0.254 0.014 0.016 0. 0. 0. 0.


















Problem 65 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 80 172 0 0 0 0
normalized size 1 1. 0.5 1.07 0. 0. 0. 0.
time (sec) N/A 0.193 0.033 0.018 0. 0. 0. 0.


















Problem 66 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 279 279 68 200 0 0 0 0
normalized size 1 1. 0.24 0.72 0. 0. 0. 0.
time (sec) N/A 0.269 0.026 0.015 0. 0. 0. 0.


















Problem 67 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 67 147 0 0 0 0
normalized size 1 1. 0.49 1.07 0. 0. 0. 0.
time (sec) N/A 0.148 0.029 0.015 0. 0. 0. 0.


















Problem 68 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 253 253 57 182 0 0 0 0
normalized size 1 1. 0.23 0.72 0. 0. 0. 0.
time (sec) N/A 0.213 0.022 0.016 0. 0. 0. 0.


















Problem 69 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 54 130 0 0 0 0
normalized size 1 1. 0.47 1.13 0. 0. 0. 0.
time (sec) N/A 0.1 0.02 0.015 0. 0. 0. 0.


















Problem 70 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 254 254 56 184 0 0 0 0
normalized size 1 1. 0.22 0.72 0. 0. 0. 0.
time (sec) N/A 0.209 0.015 0.015 0. 0. 0. 0.


















Problem 71 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 114 114 54 132 0 0 0 0
normalized size 1 1. 0.47 1.16 0. 0. 0. 0.
time (sec) N/A 0.084 0.019 0.016 0. 0. 0. 0.


















Problem 72 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 273 273 51 206 0 0 0 0
normalized size 1 1. 0.19 0.75 0. 0. 0. 0.
time (sec) N/A 0.224 0.013 0.018 0. 0. 0. 0.


















Problem 73 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 56 150 0 0 0 0
normalized size 1 1. 0.4 1.08 0. 0. 0. 0.
time (sec) N/A 0.142 0.017 0.018 0. 0. 0. 0.


















Problem 74 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 306 306 56 228 0 0 0 0
normalized size 1 1. 0.18 0.75 0. 0. 0. 0.
time (sec) N/A 0.323 0.016 0.02 0. 0. 0. 0.


















Problem 75 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 130 212 0 845 0 123
normalized size 1 1. 0.82 1.33 0. 5.31 0. 0.77
time (sec) N/A 0.248 0.181 0.04 0. 1.589 0. 1.326


















Problem 76 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 77 70 0 234 0 108
normalized size 1 1. 0.61 0.56 0. 1.86 0. 0.86
time (sec) N/A 0.2 0.037 0.007 0. 1.466 0. 1.281


















Problem 77 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 120 198 0 783 0 105
normalized size 1 1. 0.92 1.52 0. 6.02 0. 0.81
time (sec) N/A 0.206 0.253 0.022 0. 1.472 0. 1.408


















Problem 78 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 66 59 0 207 0 86
normalized size 1 1. 0.65 0.58 0. 2.05 0. 0.85
time (sec) N/A 0.161 0.03 0.005 0. 1.413 0. 1.271


















Problem 79 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 27 0 130 0 23
normalized size 1 1. 1. 1.08 0. 5.2 0. 0.92
time (sec) N/A 0.037 0.017 0.004 0. 1.429 0. 1.236


















Problem 80 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 55 48 0 184 0 68
normalized size 1 1. 0.72 0.63 0. 2.42 0. 0.89
time (sec) N/A 0.119 0.026 0.005 0. 1.426 0. 1.249


















Problem 81 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 44 37 0 159 0 39
normalized size 1 1. 0.86 0.73 0. 3.12 0. 0.76
time (sec) N/A 0.075 0.021 0.004 0. 1.433 0. 1.337


















Problem 82 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 44 37 0 158 0 45
normalized size 1 1. 0.86 0.73 0. 3.1 0. 0.88
time (sec) N/A 0.074 0.02 0.006 0. 1.592 0. 1.263


















Problem 83 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 76 76 55 48 0 185 0 58
normalized size 1 1. 0.72 0.63 0. 2.43 0. 0.76
time (sec) N/A 0.113 0.021 0.007 0. 1.66 0. 1.274


















Problem 84 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 27 0 132 0 31
normalized size 1 1. 1. 1.08 0. 5.28 0. 1.24
time (sec) N/A 0.037 0.014 0.003 0. 1.709 0. 1.274


















Problem 85 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 66 59 0 203 0 74
normalized size 1 1. 0.65 0.58 0. 2.01 0. 0.73
time (sec) N/A 0.157 0.023 0.005 0. 1.501 0. 1.311


















Problem 86 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 130 130 43 217 0 803 0 154
normalized size 1 1. 0.33 1.67 0. 6.18 0. 1.18
time (sec) N/A 0.203 0.012 0.012 0. 1.295 0. 1.288


















Problem 87 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 77 70 0 239 0 96
normalized size 1 1. 0.61 0.56 0. 1.9 0. 0.76
time (sec) N/A 0.192 0.03 0.004 0. 1.671 0. 1.441


















Problem 88 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 159 159 44 234 0 884 0 142
normalized size 1 1. 0.28 1.47 0. 5.56 0. 0.89
time (sec) N/A 0.241 0.02 0.013 0. 1.377 0. 1.329


















Problem 89 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 152 152 88 81 0 265 0 116
normalized size 1 1. 0.58 0.53 0. 1.74 0. 0.76
time (sec) N/A 0.233 0.025 0.006 0. 1.851 0. 1.38


















Problem 90 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 189 189 46 247 0 963 0 165
normalized size 1 1. 0.24 1.31 0. 5.1 0. 0.87
time (sec) N/A 0.293 0.019 0.013 0. 1.426 0. 1.359


















Problem 91 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 180 180 99 92 0 298 0 136
normalized size 1 1. 0.55 0.51 0. 1.66 0. 0.76
time (sec) N/A 0.285 0.031 0.007 0. 2.285 0. 1.402


















Problem 92 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 55 55 81 997 0 315 0 61
normalized size 1 1. 1.47 18.13 0. 5.73 0. 1.11
time (sec) N/A 0.07 0.033 0.032 0. 1.98 0. 1.323


















Problem 93 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 61 979 0 225 0 31
normalized size 1 1. 1.91 30.59 0. 7.03 0. 0.97
time (sec) N/A 0.032 0.013 0.015 0. 1.896 0. 1.309


















Problem 94 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 27 35 43 0 19
normalized size 1 1. 1. 1.17 1.52 1.87 0. 0.83
time (sec) N/A 0.034 0.011 0.003 1.067 1.268 0. 1.197


















Problem 95 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 31 35 51 63 0 36
normalized size 1 1. 0.65 0.73 1.06 1.31 0. 0.75
time (sec) N/A 0.066 0.014 0.004 1.014 1.199 0. 1.2


















Problem 96 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 44 48 68 90 0 58
normalized size 1 1. 0.59 0.65 0.92 1.22 0. 0.78
time (sec) N/A 0.102 0.015 0.005 1.081 1.186 0. 1.235


















Problem 97 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 224 224 64 688 0 0 0 0
normalized size 1 1. 0.29 3.07 0. 0. 0. 0.
time (sec) N/A 0.213 0.023 0.014 0. 0. 0. 0.


















Problem 98 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 197 197 49 671 0 0 0 0
normalized size 1 1. 0.25 3.41 0. 0. 0. 0.
time (sec) N/A 0.13 0.01 0.016 0. 0. 0. 0.


















Problem 99 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 53 696 0 0 0 0
normalized size 1 1. 0.24 3.09 0. 0. 0. 0.
time (sec) N/A 0.187 0.013 0.018 0. 0. 0. 0.


















Problem 100 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 503 503 66 1079 0 0 0 0
normalized size 1 1. 0.13 2.15 0. 0. 0. 0.
time (sec) N/A 0.514 0.024 0.016 0. 0. 0. 0.


















Problem 101 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 474 474 53 1054 0 0 0 0
normalized size 1 1. 0.11 2.22 0. 0. 0. 0.
time (sec) N/A 0.39 0.012 0.015 0. 0. 0. 0.


















Problem 102 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 497 497 48 1083 0 0 0 0
normalized size 1 1. 0.1 2.18 0. 0. 0. 0.
time (sec) N/A 0.472 0.011 0.015 0. 0. 0. 0.


















Problem 103 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 174 174 151 223 0 0 0 150
normalized size 1 1. 0.87 1.28 0. 0. 0. 0.86
time (sec) N/A 0.151 0.17 0.06 0. 0. 0. 1.398


















Problem 104 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 129 181 0 0 0 112
normalized size 1 1. 1.11 1.56 0. 0. 0. 0.97
time (sec) N/A 0.087 0.106 0.007 0. 0. 0. 1.366


















Problem 105 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 88 83 0 0 0 73
normalized size 1 1. 1.57 1.48 0. 0. 0. 1.3
time (sec) N/A 0.06 0.048 0.003 0. 0. 0. 1.334


















Problem 106 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 160 0 51 0 34
normalized size 1 1. 1. 6.4 0. 2.04 0. 1.36
time (sec) N/A 0.038 0.008 0.011 0. 2.431 0. 1.222


















Problem 107 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 48 218 0 103 0 113
normalized size 1 1. 0.57 2.6 0. 1.23 0. 1.35
time (sec) N/A 0.117 0.048 0.01 0. 2.315 0. 1.252


















Problem 108 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 72 262 0 155 0 197
normalized size 1 1. 0.51 1.85 0. 1.09 0. 1.39
time (sec) N/A 0.203 0.053 0.013 0. 2.336 0. 1.169


















Problem 109 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 200 200 96 306 0 212 0 281
normalized size 1 1. 0.48 1.53 0. 1.06 0. 1.4
time (sec) N/A 0.297 0.059 0.013 0. 2.414 0. 1.278


















Problem 110 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 197 197 64 549 0 0 0 0
normalized size 1 1. 0.32 2.79 0. 0. 0. 0.
time (sec) N/A 0.175 0.06 0.012 0. 0. 0. 0.


















Problem 111 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 139 139 64 503 0 0 0 0
normalized size 1 1. 0.46 3.62 0. 0. 0. 0.
time (sec) N/A 0.127 0.043 0.01 0. 0. 0. 0.


















Problem 112 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 64 237 0 0 0 0
normalized size 1 1. 0.83 3.08 0. 0. 0. 0.
time (sec) N/A 0.074 0.038 0.006 0. 0. 0. 0.


















Problem 113 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 404 0 77 0 46
normalized size 1 1. 1. 16.16 0. 3.08 0. 1.84
time (sec) N/A 0.005 0.016 0.008 0. 2.282 0. 1.147


















Problem 114 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 79 79 48 524 0 132 0 0
normalized size 1 1. 0.61 6.63 0. 1.67 0. 0.
time (sec) N/A 0.122 0.052 0.011 0. 1.871 0. 0.


















Problem 115 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 72 570 0 190 0 0
normalized size 1 1. 0.53 4.16 0. 1.39 0. 0.
time (sec) N/A 0.202 0.059 0.01 0. 1.789 0. 0.


















Problem 116 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 96 614 0 246 0 0
normalized size 1 1. 0.49 3.15 0. 1.26 0. 0.
time (sec) N/A 0.3 0.063 0.012 0. 1.9 0. 0.


















Problem 117 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 204 204 164 245 0 0 0 169
normalized size 1 1. 0.8 1.2 0. 0. 0. 0.83
time (sec) N/A 0.172 0.179 0.01 0. 0. 0. 1.325


















Problem 118 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 142 203 0 0 0 131
normalized size 1 1. 0.97 1.39 0. 0. 0. 0.9
time (sec) N/A 0.12 0.137 0.006 0. 0. 0. 1.311


















Problem 119 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 102 160 0 0 0 93
normalized size 1 1. 1.17 1.84 0. 0. 0. 1.07
time (sec) N/A 0.079 0.08 0.007 0. 0. 0. 1.346


















Problem 120 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 65 133 0 0 0 50
normalized size 1 1. 1.91 3.91 0. 0. 0. 1.47
time (sec) N/A 0.049 0.042 0.009 0. 0. 0. 1.291


















Problem 121 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 37 194 0 72 0 72
normalized size 1 1. 0.69 3.59 0. 1.33 0. 1.33
time (sec) N/A 0.074 0.047 0.009 0. 2.305 0. 1.278


















Problem 122 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 59 240 0 123 0 155
normalized size 1 1. 0.53 2.14 0. 1.1 0. 1.38
time (sec) N/A 0.154 0.05 0.008 0. 2.368 0. 1.228


















Problem 123 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 170 170 83 284 0 178 0 239
normalized size 1 1. 0.49 1.67 0. 1.05 0. 1.41
time (sec) N/A 0.245 0.055 0.01 0. 2.135 0. 1.189


















Problem 124 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 171 171 62 527 0 0 0 0
normalized size 1 1. 0.36 3.08 0. 0. 0. 0.
time (sec) N/A 0.147 0.052 0.009 0. 0. 0. 0.


















Problem 125 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 62 440 0 0 0 0
normalized size 1 1. 0.55 3.89 0. 0. 0. 0.
time (sec) N/A 0.103 0.049 0.008 0. 0. 0. 0.


















Problem 126 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 79 238 0 0 0 0
normalized size 1 1. 1.32 3.97 0. 0. 0. 0.
time (sec) N/A 0.067 0.105 0.006 0. 0. 0. 0.


















Problem 127 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 45 111 0 109 0 35
normalized size 1 1. 1.5 3.7 0. 3.63 0. 1.17
time (sec) N/A 0.047 0.037 0.01 0. 2.292 0. 1.217


















Problem 128 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 57 548 0 163 0 0
normalized size 1 1. 0.53 5.12 0. 1.52 0. 0.
time (sec) N/A 0.156 0.051 0.011 0. 2.343 0. 0.


















Problem 129 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 83 592 0 220 0 0
normalized size 1 1. 0.5 3.59 0. 1.33 0. 0.
time (sec) N/A 0.257 0.052 0.01 0. 2.399 0. 0.


















Problem 130 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 223 223 107 636 0 278 0 0
normalized size 1 1. 0.48 2.85 0. 1.25 0. 0.
time (sec) N/A 0.353 0.063 0.011 0. 2.363 0. 0.


















Problem 131 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 301 301 155 264 0 0 0 0
normalized size 1 1. 0.51 0.88 0. 0. 0. 0.
time (sec) N/A 0.509 0.161 0.033 0. 0. 0. 0.


















Problem 132 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 411 411 136 273 0 0 0 0
normalized size 1 1. 0.33 0.66 0. 0. 0. 0.
time (sec) N/A 0.578 0.114 0.011 0. 0. 0. 0.


















Problem 133 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 213 118 198 0 0 0 0
normalized size 1 1. 0.55 0.93 0. 0. 0. 0.
time (sec) N/A 0.299 0.099 0.013 0. 0. 0. 0.


















Problem 134 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 323 323 94 207 0 0 0 0
normalized size 1 1. 0.29 0.64 0. 0. 0. 0.
time (sec) N/A 0.326 0.054 0.012 0. 0. 0. 0.


















Problem 135 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 54 132 0 0 0 0
normalized size 1 1. 0.44 1.07 0. 0. 0. 0.
time (sec) N/A 0.146 0.044 0.012 0. 0. 0. 0.


















Problem 136 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 325 325 59 213 0 0 0 0
normalized size 1 1. 0.18 0.66 0. 0. 0. 0.
time (sec) N/A 0.353 0.046 0.018 0. 0. 0. 0.


















Problem 137 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 188 188 59 179 0 0 0 0
normalized size 1 1. 0.31 0.95 0. 0. 0. 0.
time (sec) N/A 0.244 0.05 0.017 0. 0. 0. 0.


















Problem 138 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 413 413 59 281 0 0 0 0
normalized size 1 1. 0.14 0.68 0. 0. 0. 0.
time (sec) N/A 0.544 0.047 0.018 0. 0. 0. 0.


















Problem 139 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 276 276 59 245 0 0 0 0
normalized size 1 1. 0.21 0.89 0. 0. 0. 0.
time (sec) N/A 0.413 0.055 0.019 0. 0. 0. 0.


















Problem 140 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 298 298 142 197 0 0 0 0
normalized size 1 1. 0.48 0.66 0. 0. 0. 0.
time (sec) N/A 0.501 0.138 0.027 0. 0. 0. 0.


















Problem 141 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 408 408 123 263 0 0 0 0
normalized size 1 1. 0.3 0.64 0. 0. 0. 0.
time (sec) N/A 0.554 0.1 0.018 0. 0. 0. 0.


















Problem 142 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 208 208 106 164 0 0 0 0
normalized size 1 1. 0.51 0.79 0. 0. 0. 0.
time (sec) N/A 0.271 0.081 0.017 0. 0. 0. 0.


















Problem 143 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 319 319 60 230 0 0 0 0
normalized size 1 1. 0.19 0.72 0. 0. 0. 0.
time (sec) N/A 0.329 0.046 0.017 0. 0. 0. 0.


















Problem 144 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 144 144 60 130 0 0 0 0
normalized size 1 1. 0.42 0.9 0. 0. 0. 0.
time (sec) N/A 0.202 0.058 0.02 0. 0. 0. 0.


















Problem 145 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 350 350 62 339 0 0 0 0
normalized size 1 1. 0.18 0.97 0. 0. 0. 0.
time (sec) N/A 0.431 0.053 0.022 0. 0. 0. 0.


















Problem 146 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 213 213 62 168 0 0 0 0
normalized size 1 1. 0.29 0.79 0. 0. 0. 0.
time (sec) N/A 0.309 0.066 0.023 0. 0. 0. 0.


















Problem 147 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 438 438 62 411 0 0 0 0
normalized size 1 1. 0.14 0.94 0. 0. 0. 0.
time (sec) N/A 0.64 0.055 0.026 0. 0. 0. 0.


















Problem 148 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 301 301 62 201 0 0 0 0
normalized size 1 1. 0.21 0.67 0. 0. 0. 0.
time (sec) N/A 0.479 0.07 0.026 0. 0. 0. 0.


















Problem 149 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 304 304 161 196 0 0 0 0
normalized size 1 1. 0.53 0.64 0. 0. 0. 0.
time (sec) N/A 0.506 0.092 0.032 0. 0. 0. 0.


















Problem 150 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 414 414 143 261 0 0 0 0
normalized size 1 1. 0.35 0.63 0. 0. 0. 0.
time (sec) N/A 0.566 0.071 0.024 0. 0. 0. 0.


















Problem 151 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 216 216 124 164 0 0 0 0
normalized size 1 1. 0.57 0.76 0. 0. 0. 0.
time (sec) N/A 0.319 0.067 0.007 0. 0. 0. 0.


















Problem 152 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 326 326 106 230 0 0 0 0
normalized size 1 1. 0.33 0.71 0. 0. 0. 0.
time (sec) N/A 0.349 0.057 0.008 0. 0. 0. 0.


















Problem 153 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 126 126 80 128 0 0 0 0
normalized size 1 1. 0.63 1.02 0. 0. 0. 0.
time (sec) N/A 0.118 0.036 0.005 0. 0. 0. 0.


















Problem 154 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 294 294 54 253 0 0 0 0
normalized size 1 1. 0.18 0.86 0. 0. 0. 0.
time (sec) N/A 0.294 0.049 0.018 0. 0. 0. 0.


















Problem 155 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 163 163 59 142 0 0 0 0
normalized size 1 1. 0.36 0.87 0. 0. 0. 0.
time (sec) N/A 0.201 0.05 0.022 0. 0. 0. 0.


















Problem 156 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 388 388 59 363 0 0 0 0
normalized size 1 1. 0.15 0.94 0. 0. 0. 0.
time (sec) N/A 0.476 0.05 0.025 0. 0. 0. 0.


















Problem 157 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 251 251 59 179 0 0 0 0
normalized size 1 1. 0.24 0.71 0. 0. 0. 0.
time (sec) N/A 0.345 0.057 0.026 0. 0. 0. 0.


















Problem 158 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 437 437 131 384 0 0 0 0
normalized size 1 1. 0.3 0.88 0. 0. 0. 0.
time (sec) N/A 0.674 0.093 0.026 0. 0. 0. 0.


















Problem 159 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 239 239 124 261 0 0 0 0
normalized size 1 1. 0.52 1.09 0. 0. 0. 0.
time (sec) N/A 0.377 0.083 0.024 0. 0. 0. 0.


















Problem 160 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 349 349 94 314 0 0 0 0
normalized size 1 1. 0.27 0.9 0. 0. 0. 0.
time (sec) N/A 0.426 0.067 0.011 0. 0. 0. 0.


















Problem 161 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 149 149 82 185 0 0 0 0
normalized size 1 1. 0.55 1.24 0. 0. 0. 0.
time (sec) N/A 0.209 0.063 0.01 0. 0. 0. 0.


















Problem 162 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 296 296 62 245 0 0 0 0
normalized size 1 1. 0.21 0.83 0. 0. 0. 0.
time (sec) N/A 0.26 0.029 0.005 0. 0. 0. 0.


















Problem 163 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 158 158 62 181 0 0 0 0
normalized size 1 1. 0.39 1.15 0. 0. 0. 0.
time (sec) N/A 0.205 0.06 0.012 0. 0. 0. 0.


















Problem 164 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 383 383 64 341 0 0 0 0
normalized size 1 1. 0.17 0.89 0. 0. 0. 0.
time (sec) N/A 0.479 0.056 0.011 0. 0. 0. 0.


















Problem 165 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 246 246 64 262 0 0 0 0
normalized size 1 1. 0.26 1.07 0. 0. 0. 0.
time (sec) N/A 0.365 0.056 0.014 0. 0. 0. 0.


















Problem 166 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 471 471 64 413 0 0 0 0
normalized size 1 1. 0.14 0.88 0. 0. 0. 0.
time (sec) N/A 0.694 0.055 0.013 0. 0. 0. 0.


















Problem 167 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 371 371 181 156 0 0 0 259
normalized size 1 1. 0.49 0.42 0. 0. 0. 0.7
time (sec) N/A 0.627 0.135 0.01 0. 0. 0. 1.133


















Problem 168 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 283 283 144 123 0 0 0 203
normalized size 1 1. 0.51 0.43 0. 0. 0. 0.72
time (sec) N/A 0.441 0.095 0.004 0. 0. 0. 1.126


















Problem 169 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 195 195 107 90 0 0 0 146
normalized size 1 1. 0.55 0.46 0. 0. 0. 0.75
time (sec) N/A 0.273 0.069 0.002 0. 0. 0. 1.131


















Problem 170 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 70 57 0 0 0 89
normalized size 1 1. 0.64 0.52 0. 0. 0. 0.82
time (sec) N/A 0.137 0.04 0.003 0. 0. 0. 1.119


















Problem 171 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 27 0 0 0 31
normalized size 1 1. 1. 1.17 0. 0. 0. 1.35
time (sec) N/A 0.04 0.011 0.003 0. 0. 0. 1.126


















Problem 172 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 57 80 0 0 0 97
normalized size 1 1. 0.63 0.89 0. 0. 0. 1.08
time (sec) N/A 0.139 0.042 0.01 0. 0. 0. 1.217


















Problem 173 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 178 178 57 125 0 0 0 170
normalized size 1 1. 0.32 0.7 0. 0. 0. 0.96
time (sec) N/A 0.296 0.041 0.011 0. 0. 0. 1.205


















Problem 174 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 266 266 57 167 0 0 0 239
normalized size 1 1. 0.21 0.63 0. 0. 0. 0.9
time (sec) N/A 0.475 0.046 0.013 0. 0. 0. 1.269


















Problem 175 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 354 354 57 209 0 0 0 308
normalized size 1 1. 0.16 0.59 0. 0. 0. 0.87
time (sec) N/A 0.66 0.049 0.015 0. 0. 0. 1.399


















Problem 176 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 343 343 172 145 0 0 0 508
normalized size 1 1. 0.5 0.42 0. 0. 0. 1.48
time (sec) N/A 0.616 0.131 0.004 0. 0. 0. 1.183


















Problem 177 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 255 255 135 112 0 0 0 394
normalized size 1 1. 0.53 0.44 0. 0. 0. 1.55
time (sec) N/A 0.422 0.086 0.004 0. 0. 0. 1.169


















Problem 178 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 169 169 98 79 0 0 0 281
normalized size 1 1. 0.58 0.47 0. 0. 0. 1.66
time (sec) N/A 0.249 0.058 0.003 0. 0. 0. 1.228


















Problem 179 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 63 48 0 0 0 155
normalized size 1 1. 0.75 0.57 0. 0. 0. 1.85
time (sec) N/A 0.139 0.058 0.004 0. 0. 0. 1.177


















Problem 180 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 88 69 0 0 0 112
normalized size 1 1. 1.13 0.88 0. 0. 0. 1.44
time (sec) N/A 0.137 0.069 0.004 0. 0. 0. 1.215


















Problem 181 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 113 113 61 93 0 0 0 124
normalized size 1 1. 0.54 0.82 0. 0. 0. 1.1
time (sec) N/A 0.184 0.053 0.01 0. 0. 0. 1.245


















Problem 182 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 61 139 0 0 0 193
normalized size 1 1. 0.3 0.68 0. 0. 0. 0.95
time (sec) N/A 0.34 0.046 0.012 0. 0. 0. 1.251


















Problem 183 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 291 291 61 181 0 0 0 262
normalized size 1 1. 0.21 0.62 0. 0. 0. 0.9
time (sec) N/A 0.522 0.05 0.014 0. 0. 0. 1.372


















Problem 184 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 379 379 61 223 0 0 0 331
normalized size 1 1. 0.16 0.59 0. 0. 0. 0.87
time (sec) N/A 0.718 0.061 0.016 0. 0. 0. 1.447


















Problem 185 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 401 401 185 167 0 0 0 278
normalized size 1 1. 0.46 0.42 0. 0. 0. 0.69
time (sec) N/A 0.728 0.153 0.004 0. 0. 0. 1.144


















Problem 186 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 313 313 148 134 0 0 0 221
normalized size 1 1. 0.47 0.43 0. 0. 0. 0.71
time (sec) N/A 0.531 0.115 0.003 0. 0. 0. 1.157


















Problem 187 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 225 225 111 101 0 0 0 165
normalized size 1 1. 0.49 0.45 0. 0. 0. 0.73
time (sec) N/A 0.346 0.088 0.005 0. 0. 0. 1.166


















Problem 188 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 74 68 0 0 0 108
normalized size 1 1. 0.54 0.5 0. 0. 0. 0.79
time (sec) N/A 0.18 0.064 0.003 0. 0. 0. 1.133


















Problem 189 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 36 36 0 0 0 49
normalized size 1 1. 0.77 0.77 0. 0. 0. 1.04
time (sec) N/A 0.05 0.027 0.003 0. 0. 0. 1.142


















Problem 190 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 90 61 0 0 0 69
normalized size 1 1. 1.48 1. 0. 0. 0. 1.13
time (sec) N/A 0.093 0.087 0.007 0. 0. 0. 1.156


















Problem 191 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 153 153 48 126 0 0 0 147
normalized size 1 1. 0.31 0.82 0. 0. 0. 0.96
time (sec) N/A 0.239 0.055 0.007 0. 0. 0. 1.19


















Problem 192 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 241 241 48 188 0 0 0 216
normalized size 1 1. 0.2 0.78 0. 0. 0. 0.9
time (sec) N/A 0.408 0.056 0.006 0. 0. 0. 1.269


















Problem 193 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 329 329 48 248 0 0 0 285
normalized size 1 1. 0.15 0.75 0. 0. 0. 0.87
time (sec) N/A 0.577 0.055 0.007 0. 0. 0. 1.354


















Problem 194 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 336 336 161 143 0 0 0 289
normalized size 1 1. 0.48 0.43 0. 0. 0. 0.86
time (sec) N/A 0.599 0.133 0.005 0. 0. 0. 1.234


















Problem 195 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 248 248 122 110 0 0 0 220
normalized size 1 1. 0.49 0.44 0. 0. 0. 0.89
time (sec) N/A 0.414 0.089 0.006 0. 0. 0. 1.215


















Problem 196 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 85 77 0 0 0 151
normalized size 1 1. 0.53 0.48 0. 0. 0. 0.94
time (sec) N/A 0.242 0.071 0.006 0. 0. 0. 1.145


















Problem 197 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 68 68 60 45 0 0 0 81
normalized size 1 1. 0.88 0.66 0. 0. 0. 1.19
time (sec) N/A 0.084 0.05 0.005 0. 0. 0. 1.179


















Problem 198 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 45 55 0 0 0 96
normalized size 1 1. 0.75 0.92 0. 0. 0. 1.6
time (sec) N/A 0.056 0.026 0.006 0. 0. 0. 1.16


















Problem 199 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 146 146 48 88 0 0 0 142
normalized size 1 1. 0.33 0.6 0. 0. 0. 0.97
time (sec) N/A 0.241 0.057 0.013 0. 0. 0. 1.232


















Problem 200 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 236 236 48 126 0 0 0 211
normalized size 1 1. 0.2 0.53 0. 0. 0. 0.89
time (sec) N/A 0.41 0.058 0.017 0. 0. 0. 1.298


















Problem 201 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 324 324 48 159 0 0 0 279
normalized size 1 1. 0.15 0.49 0. 0. 0. 0.86
time (sec) N/A 0.597 0.057 0.018 0. 0. 0. 1.366


















Problem 202 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F(-1) F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 412 412 48 192 0 0 0 348
normalized size 1 1. 0.12 0.47 0. 0. 0. 0.84
time (sec) N/A 0.84 0.059 0.025 0. 0. 0. 1.519


















Problem 203 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 31 12 18
normalized size 1 1. 1. 0.82 1.06 1.82 0.71 1.06
time (sec) N/A 0.009 0.001 0.001 0.994 1.061 0.117 1.148


















Problem 204 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 31 12 18
normalized size 1 1. 1. 0.82 1.06 1.82 0.71 1.06
time (sec) N/A 0.008 0.001 0.001 0.989 1.024 0.142 1.104


















Problem 205 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 31 12 18
normalized size 1 1. 1. 0.82 1.06 1.82 0.71 1.06
time (sec) N/A 0.003 0. 0. 0.99 1.09 0.218 1.154


















Problem 206 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 17 17 17 14 18 31 12 18
normalized size 1 1. 1. 0.82 1.06 1.82 0.71 1.06
time (sec) N/A 0.006 0.001 0. 0.985 0.958 0.081 1.198


















Problem 207 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 11 14 23 8 14
normalized size 1 1. 1. 0.92 1.17 1.92 0.67 1.17
time (sec) N/A 0.004 0. 0.001 0.975 0.801 0.101 1.133


















Problem 208 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 55 24 32
normalized size 1 1. 1. 0.83 1.07 1.83 0.8 1.07
time (sec) N/A 0.031 0.002 0. 0.986 0.575 0.123 1.143


















Problem 209 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 55 26 32
normalized size 1 1. 1. 0.83 1.07 1.83 0.87 1.07
time (sec) N/A 0.017 0.002 0. 0.98 0.617 0.242 1.133


















Problem 210 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 55 24 32
normalized size 1 1. 1. 0.83 1.07 1.83 0.8 1.07
time (sec) N/A 0.013 0.002 0. 0.993 0.627 0.122 1.154


















Problem 211 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 55 26 32
normalized size 1 1. 1. 0.83 1.07 1.83 0.87 1.07
time (sec) N/A 0.017 0.002 0.002 1.012 0.705 0.24 1.147


















Problem 212 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 30 25 32 55 24 32
normalized size 1 1. 1. 0.83 1.07 1.83 0.8 1.07
time (sec) N/A 0.016 0.002 0. 0.993 0.711 0.22 1.206


















Problem 213 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 57 52 70 117 49 72
normalized size 1 1. 1. 0.91 1.23 2.05 0.86 1.26
time (sec) N/A 0.036 0.005 0.003 0.961 0.735 0.722 1.146


















Problem 214 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 44 41 57 92 37 58
normalized size 1 1. 1. 0.93 1.3 2.09 0.84 1.32
time (sec) N/A 0.027 0.004 0.002 0.971 0.872 0.487 1.129


















Problem 215 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 30 39 68 26 41
normalized size 1 1. 1. 0.97 1.26 2.19 0.84 1.32
time (sec) N/A 0.021 0.003 0.001 0.977 0.69 0.625 1.157


















Problem 216 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 19 24 38 14 26
normalized size 1 1. 1. 1.06 1.33 2.11 0.78 1.44
time (sec) N/A 0.016 0.003 0.002 0.989 0.831 0.648 1.152


















Problem 217 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 11 14 22 7 15
normalized size 1 1. 1. 1.1 1.4 2.2 0.7 1.5
time (sec) N/A 0.007 0.001 0.001 1.097 0.762 0.23 1.153


















Problem 218 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 18 19 24 38 10 27
normalized size 1 1. 1. 1.06 1.33 2.11 0.56 1.5
time (sec) N/A 0.007 0.004 0.005 0.979 0.781 0.543 1.16


















Problem 219 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 29 38 61 19 41
normalized size 1 1. 1. 1.04 1.36 2.18 0.68 1.46
time (sec) N/A 0.015 0.004 0.006 1.017 0.796 0.715 1.141


















Problem 220 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 41 54 103 31 61
normalized size 1 1. 1. 0.98 1.29 2.45 0.74 1.45
time (sec) N/A 0.021 0.004 0.007 1.041 0.781 1.032 1.154


















Problem 221 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 53 69 126 44 76
normalized size 1 1. 1. 0.95 1.23 2.25 0.79 1.36
time (sec) N/A 0.027 0.005 0.006 0.972 0.726 1.21 1.209


















Problem 222 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 54 57 80 155 54 84
normalized size 1 1. 0.93 0.98 1.38 2.67 0.93 1.45
time (sec) N/A 0.04 0.02 0.006 0.976 0.679 1.195 1.153


















Problem 223 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 43 45 63 132 44 65
normalized size 1 1. 0.93 0.98 1.37 2.87 0.96 1.41
time (sec) N/A 0.03 0.014 0.006 0.993 0.757 0.97 1.236


















Problem 224 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 29 34 49 97 31 46
normalized size 1 1. 0.88 1.03 1.48 2.94 0.94 1.39
time (sec) N/A 0.024 0.012 0.006 0.992 0.78 0.558 1.167


















Problem 225 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 20 24 35 62 20 32
normalized size 1 1. 0.87 1.04 1.52 2.7 0.87 1.39
time (sec) N/A 0.018 0.006 0.005 0.983 0.765 0.528 1.198


















Problem 226 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 13 18 24 10 16
normalized size 1 1. 1. 1.08 1.5 2. 0.83 1.33
time (sec) N/A 0.007 0.003 0.001 0.989 0.789 0.921 1.149


















Problem 227 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 24 30 38 89 22 42
normalized size 1 1. 0.83 1.03 1.31 3.07 0.76 1.45
time (sec) N/A 0.019 0.01 0.006 1.017 0.73 1.039 1.145


















Problem 228 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 35 43 61 138 36 61
normalized size 1 1. 0.83 1.02 1.45 3.29 0.86 1.45
time (sec) N/A 0.024 0.037 0.009 1.001 0.725 1.241 1.168


















Problem 229 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 58 58 53 57 86 177 54 86
normalized size 1 1. 0.91 0.98 1.48 3.05 0.93 1.48
time (sec) N/A 0.032 0.05 0.01 1.017 0.791 0.759 1.184


















Problem 230 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 66 68 99 204 66 99
normalized size 1 1. 0.96 0.99 1.43 2.96 0.96 1.43
time (sec) N/A 0.039 0.053 0.01 0.987 0.81 1.767 1.163


















Problem 231 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 79 79 116 231 80 116
normalized size 1 1. 0.94 0.94 1.38 2.75 0.95 1.38
time (sec) N/A 0.052 0.043 0.01 1.109 0.677 1.703 1.141


















Problem 232 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 105 105 53 57 72 134 0 84
normalized size 1 1. 0.5 0.54 0.69 1.28 0. 0.8
time (sec) N/A 0.12 0.028 0.004 1.004 0.82 0. 1.144


















Problem 233 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 42 46 57 111 0 68
normalized size 1 1. 0.52 0.57 0.71 1.39 0. 0.85
time (sec) N/A 0.074 0.02 0.003 1.017 0.813 0. 1.151


















Problem 234 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 31 35 41 84 0 51
normalized size 1 1. 0.6 0.67 0.79 1.62 0. 0.98
time (sec) N/A 0.043 0.014 0.003 0.976 0.873 0. 1.186


















Problem 235 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 23 27 16 55 0 34
normalized size 1 1. 0.92 1.08 0.64 2.2 0. 1.36
time (sec) N/A 0.036 0.009 0.001 1.008 0.824 0. 1.174


















Problem 236 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 53 52 0 247 0 88
normalized size 1 1. 1.04 1.02 0. 4.84 0. 1.73
time (sec) N/A 0.049 0.028 0.006 0. 0.85 0. 1.213


















Problem 237 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 48 56 0 282 0 58
normalized size 1 1. 0.92 1.08 0. 5.42 0. 1.12
time (sec) N/A 0.052 0.036 0.01 0. 0.87 0. 1.206


















Problem 238 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 42 73 0 338 0 92
normalized size 1 1. 0.5 0.87 0. 4.02 0. 1.1
time (sec) N/A 0.092 0.012 0.01 0. 0.866 0. 1.214


















Problem 239 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 42 89 0 393 0 116
normalized size 1 1. 0.38 0.79 0. 3.51 0. 1.04
time (sec) N/A 0.138 0.012 0.012 0. 0.933 0. 1.188


















Problem 240 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 161 161 80 79 116 217 0 242
normalized size 1 1. 0.5 0.49 0.72 1.35 0. 1.5
time (sec) N/A 0.231 0.041 0.005 1.009 0.868 0. 1.135


















Problem 241 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 69 68 101 193 0 211
normalized size 1 1. 0.51 0.5 0.74 1.42 0. 1.55
time (sec) N/A 0.172 0.033 0.004 1.057 0.808 0. 1.171


















Problem 242 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 58 57 86 161 0 177
normalized size 1 1. 0.54 0.53 0.8 1.49 0. 1.64
time (sec) N/A 0.141 0.027 0.003 0.988 0.74 0. 1.264


















Problem 243 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 47 46 72 134 0 144
normalized size 1 1. 0.59 0.57 0.9 1.68 0. 1.8
time (sec) N/A 0.133 0.022 0.004 1.008 0.829 0. 1.289


















Problem 244 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 36 35 55 105 0 112
normalized size 1 1. 0.69 0.67 1.06 2.02 0. 2.15
time (sec) N/A 0.083 0.017 0.003 1.027 0.818 0. 1.275


















Problem 245 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 23 27 38 77 0 70
normalized size 1 1. 0.92 1.08 1.52 3.08 0. 2.8
time (sec) N/A 0.041 0.013 0.002 0.989 0.811 0. 1.242


















Problem 246 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 68 63 0 296 0 115
normalized size 1 1. 0.92 0.85 0. 4. 0. 1.55
time (sec) N/A 0.096 0.043 0.007 0. 0.81 0. 1.192


















Problem 247 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 40 72 0 304 0 84
normalized size 1 1. 0.55 0.99 0. 4.16 0. 1.15
time (sec) N/A 0.093 0.013 0.011 0. 0.899 0. 1.456


















Problem 248 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 81 81 72 74 0 342 0 95
normalized size 1 1. 0.89 0.91 0. 4.22 0. 1.17
time (sec) N/A 0.092 0.046 0.01 0. 0.928 0. 1.271


















Problem 249 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 109 109 42 87 0 397 0 124
normalized size 1 1. 0.39 0.8 0. 3.64 0. 1.14
time (sec) N/A 0.134 0.016 0.012 0. 0.786 0. 1.215


















Problem 250 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 137 137 42 101 0 443 0 147
normalized size 1 1. 0.31 0.74 0. 3.23 0. 1.07
time (sec) N/A 0.184 0.015 0.01 0. 0.893 0. 1.237


















Problem 251 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 165 165 42 113 0 504 0 170
normalized size 1 1. 0.25 0.68 0. 3.05 0. 1.03
time (sec) N/A 0.236 0.015 0.013 0. 0.909 0. 1.326


















Problem 252 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 103 103 53 55 72 109 0 0
normalized size 1 1. 0.51 0.53 0.7 1.06 0. 0.
time (sec) N/A 0.148 0.032 0.004 1.06 0.805 0. 0.


















Problem 253 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 42 44 57 86 0 0
normalized size 1 1. 0.56 0.59 0.76 1.15 0. 0.
time (sec) N/A 0.1 0.02 0.004 1.151 0.793 0. 0.


















Problem 254 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 30 33 41 61 0 0
normalized size 1 1. 0.61 0.67 0.84 1.24 0. 0.
time (sec) N/A 0.055 0.015 0.003 1.034 0.858 0. 0.


















Problem 255 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 21 25 16 39 0 35
normalized size 1 1. 0.91 1.09 0.7 1.7 0. 1.52
time (sec) N/A 0.01 0.007 0.001 1.169 0.798 0. 1.19


















Problem 256 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 30 30 46 39 0 171 0 61
normalized size 1 1. 1.53 1.3 0. 5.7 0. 2.03
time (sec) N/A 0.011 0.009 0.004 0. 0.804 0. 1.168


















Problem 257 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 66 55 0 289 0 0
normalized size 1 1. 1.22 1.02 0. 5.35 0. 0.
time (sec) N/A 0.049 0.045 0.007 0. 0.829 0. 0.


















Problem 258 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 40 77 0 347 0 0
normalized size 1 1. 0.46 0.89 0. 3.99 0. 0.
time (sec) N/A 0.091 0.01 0.007 0. 0.901 0. 0.


















Problem 259 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 115 115 40 95 0 402 0 0
normalized size 1 1. 0.35 0.83 0. 3.5 0. 0.
time (sec) N/A 0.135 0.01 0.006 0. 0.809 0. 0.


















Problem 260 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 50 56 55 122 0 0
normalized size 1 1. 0.51 0.57 0.56 1.24 0. 0.
time (sec) N/A 0.151 0.024 0.005 1.159 0.906 0. 0.


















Problem 261 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 39 46 41 99 0 0
normalized size 1 1. 0.54 0.64 0.57 1.38 0. 0.
time (sec) N/A 0.105 0.017 0.006 1.145 0.829 0. 0.


















Problem 262 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 26 34 26 74 0 38
normalized size 1 1. 0.55 0.72 0.55 1.57 0. 0.81
time (sec) N/A 0.057 0.012 0.003 1.113 0.829 0. 1.134


















Problem 263 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 21 21 19 27 16 57 0 50
normalized size 1 1. 0.9 1.29 0.76 2.71 0. 2.38
time (sec) N/A 0.018 0.006 0.002 1.078 0.838 0. 1.182


















Problem 264 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 35 53 0 333 0 0
normalized size 1 1. 0.67 1.02 0. 6.4 0. 0.
time (sec) N/A 0.058 0.009 0.007 0. 0.801 0. 0.


















Problem 265 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 36 62 0 402 0 0
normalized size 1 1. 0.48 0.83 0. 5.36 0. 0.
time (sec) N/A 0.086 0.009 0.012 0. 0.804 0. 0.


















Problem 266 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 38 76 0 466 0 0
normalized size 1 1. 0.35 0.69 0. 4.24 0. 0.
time (sec) N/A 0.105 0.007 0.012 0. 0.902 0. 0.


















Problem 267 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 138 138 38 86 0 524 0 0
normalized size 1 1. 0.28 0.62 0. 3.8 0. 0.
time (sec) N/A 0.186 0.009 0.013 0. 0.817 0. 0.


















Problem 268 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 166 166 38 100 0 575 0 0
normalized size 1 1. 0.23 0.6 0. 3.46 0. 0.
time (sec) N/A 0.232 0.01 0.014 0. 0.822 0. 0.


















Problem 269 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 125 125 104 103 0 428 0 86
normalized size 1 1. 0.83 0.82 0. 3.42 0. 0.69
time (sec) N/A 0.169 0.109 0.006 0. 0.793 0. 1.308


















Problem 270 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 95 95 90 92 0 375 0 70
normalized size 1 1. 0.95 0.97 0. 3.95 0. 0.74
time (sec) N/A 0.125 0.052 0.005 0. 0.83 0. 1.293


















Problem 271 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 73 79 0 315 0 51
normalized size 1 1. 1.22 1.32 0. 5.25 0. 0.85
time (sec) N/A 0.083 0.039 0.005 0. 0.885 0. 1.355


















Problem 272 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 34 34 55 58 0 189 0 31
normalized size 1 1. 1.62 1.71 0. 5.56 0. 0.91
time (sec) N/A 0.042 0.016 0.005 0. 0.84 0. 1.397


















Problem 273 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 23 27 0 49 0 41
normalized size 1 1. 0.92 1.08 0. 1.96 0. 1.64
time (sec) N/A 0.038 0.008 0.003 0. 0.713 0. 1.268


















Problem 274 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 31 33 0 69 0 74
normalized size 1 1. 0.55 0.59 0. 1.23 0. 1.32
time (sec) N/A 0.077 0.015 0.003 0. 0.891 0. 1.208


















Problem 275 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 44 46 0 96 0 104
normalized size 1 1. 0.51 0.53 0. 1.12 0. 1.21
time (sec) N/A 0.118 0.015 0.004 0. 0.789 0. 1.16


















Problem 276 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 55 57 0 117 0 139
normalized size 1 1. 0.47 0.49 0. 1.01 0. 1.2
time (sec) N/A 0.163 0.018 0.004 0. 0.757 0. 1.269


















Problem 277 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 59 0 0 0 0 0
normalized size 1 1. 0.97 0. 0. 0. 0. 0.
time (sec) N/A 0.039 0.018 0.296 0. 0. 0. 0.


















Problem 278 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 61 59 0 0 0 0 0
normalized size 1 1.27 1.23 0. 0. 0. 0. 0.
time (sec) N/A 0.037 0.012 0.252 0. 0. 0. 0.


















Problem 279 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 52 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.038 0.008 0.241 0. 0. 0. 0.


















Problem 280 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 30 36 0 77 0 0
normalized size 1 1. 0.94 1.12 0. 2.41 0. 0.
time (sec) N/A 0.025 0.014 0.003 0. 0.946 0. 0.


















Problem 281 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 44 50 0 136 0 0
normalized size 1 1. 0.63 0.71 0. 1.94 0. 0.
time (sec) N/A 0.054 0.021 0.005 0. 0.812 0. 0.


















Problem 282 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 116 116 72 84 0 217 0 0
normalized size 1 1. 0.62 0.72 0. 1.87 0. 0.
time (sec) N/A 0.091 0.029 0.005 0. 0.915 0. 0.


















Problem 283 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 24 31 49 73 36 30
normalized size 1 1. 1.26 1.63 2.58 3.84 1.89 1.58
time (sec) N/A 0.01 0.008 0.007 1.172 0.719 1.509 1.164


















Problem 284 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 46 48 62 89 0 0
normalized size 1 1. 0.57 0.6 0.78 1.11 0. 0.
time (sec) N/A 0.115 0.025 0.006 1.035 0.651 0. 0.


















Problem 285 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 34 37 46 63 0 0
normalized size 1 1. 0.65 0.71 0.88 1.21 0. 0.
time (sec) N/A 0.065 0.017 0.005 1.159 0.81 0. 0.


















Problem 286 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 27 19 42 0 0
normalized size 1 1. 1. 1.08 0.76 1.68 0. 0.
time (sec) N/A 0.017 0.008 0.004 1.106 0.796 0. 0.


















Problem 287 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 54 43 0 180 0 63
normalized size 1 1. 1.69 1.34 0. 5.62 0. 1.97
time (sec) N/A 0.011 0.01 0.005 0. 0.875 0. 1.164


















Problem 288 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 59 59 71 66 0 294 0 77
normalized size 1 1. 1.2 1.12 0. 4.98 0. 1.31
time (sec) N/A 0.055 0.061 0.006 0. 0.81 0. 1.166


















Problem 289 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 238 238 68 248 0 0 0 0
normalized size 1 1. 0.29 1.04 0. 0. 0. 0.
time (sec) N/A 0.142 0.024 0.297 0. 0. 0. 0.


















Problem 290 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 212 212 52 231 0 0 0 0
normalized size 1 1. 0.25 1.09 0. 0. 0. 0.
time (sec) N/A 0.067 0.009 0.005 0. 0. 0. 0.


















Problem 291 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 243 243 55 248 0 0 0 0
normalized size 1 1. 0.23 1.02 0. 0. 0. 0.
time (sec) N/A 0.129 0.013 0.005 0. 0. 0. 0.


















Problem 292 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 514 514 68 676 0 0 0 0
normalized size 1 1. 0.13 1.32 0. 0. 0. 0.
time (sec) N/A 0.308 0.023 0.008 0. 0. 0. 0.


















Problem 293 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 484 484 55 394 0 0 0 0
normalized size 1 1. 0.11 0.81 0. 0. 0. 0.
time (sec) N/A 0.19 0.011 0.005 0. 0. 0. 0.


















Problem 294 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 510 510 50 673 0 0 0 0
normalized size 1 1. 0.1 1.32 0. 0. 0. 0.
time (sec) N/A 0.273 0.011 0.009 0. 0. 0. 0.


















Problem 295 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 265 265 86 2017 0 0 0 0
normalized size 1 1. 0.32 7.61 0. 0. 0. 0.
time (sec) N/A 0.282 0.032 0.533 0. 0. 0. 0.


















Problem 296 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 525 525 70 2586 0 0 0 0
normalized size 1 1. 0.13 4.93 0. 0. 0. 0.
time (sec) N/A 0.5 0.026 0.052 0. 0. 0. 0.


















Problem 297 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 65 65 81 3347 0 358 0 59
normalized size 1 1. 1.25 51.49 0. 5.51 0. 0.91
time (sec) N/A 0.09 0.037 0.051 0. 1.133 0. 1.398


















Problem 298 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 237 237 70 1793 0 0 0 0
normalized size 1 1. 0.3 7.57 0. 0. 0. 0.
time (sec) N/A 0.225 0.025 0.032 0. 0. 0. 0.


















Problem 299 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 492 492 57 2374 0 0 0 0
normalized size 1 1. 0.12 4.83 0. 0. 0. 0.
time (sec) N/A 0.398 0.013 0.034 0. 0. 0. 0.


















Problem 300 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 36 36 59 480 0 247 0 55
normalized size 1 1. 1.64 13.33 0. 6.86 0. 1.53
time (sec) N/A 0.048 0.012 0.118 0. 1.331 0. 1.289


















Problem 301 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 203 203 55 437 0 0 0 0
normalized size 1 1. 0.27 2.15 0. 0. 0. 0.
time (sec) N/A 0.166 0.014 0.126 0. 0. 0. 0.


















Problem 302 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 519 519 55 2860 0 0 0 0
normalized size 1 1. 0.11 5.51 0. 0. 0. 0.
time (sec) N/A 0.487 0.015 0.041 0. 0. 0. 0.


















Problem 303 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 29 35 51 0 31
normalized size 1 1. 1. 1.07 1.3 1.89 0. 1.15
time (sec) N/A 0.04 0.011 0.003 1.12 0.921 0. 1.449


















Problem 304 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 235 235 57 1795 0 0 0 0
normalized size 1 1. 0.24 7.64 0. 0. 0. 0.
time (sec) N/A 0.221 0.013 0.037 0. 0. 0. 0.


















Problem 305 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 555 555 57 3048 0 0 0 0
normalized size 1 1. 0.1 5.49 0. 0. 0. 0.
time (sec) N/A 0.573 0.014 0.043 0. 0. 0. 0.


















Problem 306 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 35 37 51 73 0 49
normalized size 1 1. 0.62 0.66 0.91 1.3 0. 0.88
time (sec) N/A 0.083 0.017 0.006 1.104 0.823 0. 1.201


















Problem 307 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C C F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 265 265 57 2009 0 0 0 0
normalized size 1 1. 0.22 7.58 0. 0. 0. 0.
time (sec) N/A 0.284 0.014 0.041 0. 0. 0. 0.


















Problem 308 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 28 28 28 29 38 61 19 41
normalized size 1 1. 1. 1.04 1.36 2.18 0.68 1.46
time (sec) N/A 0.017 0.004 0.007 1.104 0.736 0.787 1.203


















Problem 309 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 42 41 54 103 31 61
normalized size 1 1. 1. 0.98 1.29 2.45 0.74 1.45
time (sec) N/A 0.019 0.005 0.006 1.069 0.793 0.529 1.305


















Problem 310 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 112 112 94 120 0 390 0 0
normalized size 1 1. 0.84 1.07 0. 3.48 0. 0.
time (sec) N/A 0.179 0.145 0.004 0. 0.915 0. 0.


















Problem 311 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 86 86 92 98 0 338 0 0
normalized size 1 1. 1.07 1.14 0. 3.93 0. 0.
time (sec) N/A 0.127 0.052 0.004 0. 0.811 0. 0.


















Problem 312 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 75 78 0 277 0 55
normalized size 1 1. 1.34 1.39 0. 4.95 0. 0.98
time (sec) N/A 0.082 0.041 0.005 0. 0.81 0. 1.212


















Problem 313 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 59 56 0 173 0 31
normalized size 1 1. 1.84 1.75 0. 5.41 0. 0.97
time (sec) N/A 0.034 0.017 0.003 0. 0.821 0. 1.399


















Problem 314 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 21 25 0 43 0 36
normalized size 1 1. 0.91 1.09 0. 1.87 0. 1.57
time (sec) N/A 0.005 0.007 0.002 0. 0.623 0. 1.214


















Problem 315 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 29 30 0 63 0 36
normalized size 1 1. 0.56 0.58 0. 1.21 0. 0.69
time (sec) N/A 0.045 0.011 0.004 0. 0.86 0. 1.206


















Problem 316 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 80 80 42 46 0 90 0 58
normalized size 1 1. 0.52 0.57 0. 1.12 0. 0.72
time (sec) N/A 0.086 0.012 0.003 0. 0.764 0. 1.216


















Problem 317 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 53 57 0 112 0 77
normalized size 1 1. 0.49 0.53 0. 1.04 0. 0.71
time (sec) N/A 0.134 0.017 0.005 0. 0.79 0. 1.234


















Problem 318 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 136 136 64 68 0 143 0 96
normalized size 1 1. 0.47 0.5 0. 1.05 0. 0.71
time (sec) N/A 0.174 0.019 0.003 0. 0.821 0. 1.278


















Problem 319 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 26 26 26 23 30 72 22 43
normalized size 1 1. 1. 0.88 1.15 2.77 0.85 1.65
time (sec) N/A 0.018 0.005 0.005 1.152 0.847 0.522 1.235


















Problem 320 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 23 30 72 22 43
normalized size 1 1. 1. 0.85 1.11 2.67 0.81 1.59
time (sec) N/A 0.018 0.005 0.004 1.038 0.764 0.263 1.282


















Problem 321 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 14 9 19 22 5 20
normalized size 1 1. 1.75 1.12 2.38 2.75 0.62 2.5
time (sec) N/A 0.003 0.003 0. 1.026 0.842 0.093 1.189


















Problem 322 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 11 22 38 15 22
normalized size 1 1. 1. 1.1 2.2 3.8 1.5 2.2
time (sec) N/A 0.003 0.003 0. 1.11 0.801 0.112 1.13


















Problem 323 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 11 22 59 27 22
normalized size 1 1. 1. 0.92 1.83 4.92 2.25 1.83
time (sec) N/A 0.003 0.003 0.001 0.995 0.821 0.108 1.152


















Problem 324 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 10 10 10 11 14 22 7 14
normalized size 1 1. 1. 1.1 1.4 2.2 0.7 1.4
time (sec) N/A 0.002 0.001 0. 1.087 0.64 0.081 1.137


















Problem 325 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 19 28 41 32 0
normalized size 1 1. 1. 0.95 1.4 2.05 1.6 0.
time (sec) N/A 0.006 0.004 0.002 1.071 0.873 0.839 0.


















Problem 326 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 21 54 80 82 0
normalized size 1 1. 1. 1.05 2.7 4. 4.1 0.
time (sec) N/A 0.008 0.003 0.001 1.053 0.917 1.384 0.


















Problem 327 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 21 72 112 119 0
normalized size 1 1. 1. 1.05 3.6 5.6 5.95 0.
time (sec) N/A 0.009 0.003 0.002 1.014 0.919 1.806 0.


















Problem 328 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 365 160 181
normalized size 1 1. 10. 8.44 11.31 22.81 10. 11.31
time (sec) N/A 0.004 0.004 0.003 1.024 0.598 0.122 1.156


















Problem 329 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 367 160 181
normalized size 1 1. 10. 8.44 11.31 22.94 10. 11.31
time (sec) N/A 0.011 0.007 0.003 1.116 0.682 0.24 1.155


















Problem 330 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 371 160 181
normalized size 1 1. 10. 8.44 11.31 23.19 10. 11.31
time (sec) N/A 0.012 0.008 0.001 1.056 0.761 0.234 1.119


















Problem 331 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 339 0 578 0 0
normalized size 1 1. 0.89 12.56 0. 21.41 0. 0.
time (sec) N/A 0.015 0.013 0.106 0. 0.724 0. 0.


















Problem 332 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 365 160 181
normalized size 1 1. 10. 8.44 11.31 22.81 10. 11.31
time (sec) N/A 0.004 0.003 0. 1.104 0.597 0.222 1.158


















Problem 333 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 367 160 181
normalized size 1 1. 10. 8.44 11.31 22.94 10. 11.31
time (sec) N/A 0.005 0.005 0.003 1.029 0.659 0.172 1.128


















Problem 334 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 371 160 181
normalized size 1 1. 10. 8.44 11.31 23.19 10. 11.31
time (sec) N/A 0.004 0.006 0.003 1.064 0.665 0.164 1.147


















Problem 335 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 24 287 0 493 0 277
normalized size 1 1. 0.89 10.63 0. 18.26 0. 10.26
time (sec) N/A 0.008 0.004 0.041 0. 0.863 0. 1.255


















Problem 336 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 126 0 204 0 126
normalized size 1 1. 1. 4.67 0. 7.56 0. 4.67
time (sec) N/A 0.01 0.013 0.018 0. 0.851 0. 1.123


















Problem 337 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 27 39 89 162 0 0
normalized size 1 1. 1. 1.44 3.3 6. 0. 0.
time (sec) N/A 0.014 0.019 0.02 1.104 0.893 0. 0.


















Problem 338 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 30 10 19
normalized size 1 1. 1. 0.93 1.2 2. 0.67 1.27
time (sec) N/A 0.005 0.003 0.002 1.266 0.651 0.114 1.121


















Problem 339 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 30 10 19
normalized size 1 1. 1. 0.93 1.2 2. 0.67 1.27
time (sec) N/A 0.006 0.004 0.001 1.081 0.729 0.188 1.157


















Problem 340 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 14 18 30 10 19
normalized size 1 1. 1. 0.93 1.2 2. 0.67 1.27
time (sec) N/A 0.005 0.005 0.001 1.12 0.706 0.174 1.1


















Problem 341 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 24 31 49 73 36 30
normalized size 1 1. 1.26 1.63 2.58 3.84 1.89 1.58
time (sec) N/A 0.005 0.008 0.007 1.159 0.784 0.482 1.151


















Problem 342 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 24 31 49 76 36 30
normalized size 1 1. 1.26 1.63 2.58 4. 1.89 1.58
time (sec) N/A 0.006 0.009 0.004 1.057 0.631 5.422 1.158


















Problem 343 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 24 31 49 76 0 30
normalized size 1 1. 1.26 1.63 2.58 4. 0. 1.58
time (sec) N/A 0.006 0.011 0.008 1.109 0.82 0. 1.173


















Problem 344 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 23 30 50 19 30
normalized size 1 1. 1. 0.96 1.25 2.08 0.79 1.25
time (sec) N/A 0.011 0.001 0.003 1.106 0.726 0.317 1.174


















Problem 345 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 35 46 85 37 62
normalized size 1 1. 1. 0.88 1.15 2.12 0.92 1.55
time (sec) N/A 0.023 0.007 0.007 1.154 0.77 0.419 1.112


















Problem 346 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 50 45 59 104 48 61
normalized size 1 1. 1. 0.9 1.18 2.08 0.96 1.22
time (sec) N/A 0.021 0.006 0.006 1.172 0.758 0.35 1.114


















Problem 347 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B A A
verified N/A Yes NO TBD TBD TBD TBD TBD
size 185 185 144 156 167 2210 36 151
normalized size 1 1. 0.78 0.84 0.9 11.95 0.19 0.82
time (sec) N/A 0.346 0.125 0.019 1.546 5.635 1.655 1.159


















Problem 348 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 363 0 753 0 363
normalized size 1 1. 1. 12.52 0. 25.97 0. 12.52
time (sec) N/A 0.017 0.016 0.168 0. 0.854 0. 4.317


















Problem 349 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 19 365 160 19
normalized size 1 1. 10. 8.44 1.19 22.81 10. 1.19
time (sec) N/A 0.003 0.005 0. 1.026 0.612 0.122 1.212


















Problem 350 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 367 160 181
normalized size 1 1. 10. 8.44 11.31 22.94 10. 11.31
time (sec) N/A 0.009 0.006 0. 1.054 0.62 0.152 1.179


















Problem 351 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 371 160 181
normalized size 1 1. 10. 8.44 11.31 23.19 10. 11.31
time (sec) N/A 0.012 0.007 0.001 1.064 0.581 0.127 1.193


















Problem 352 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 19 367 160 19
normalized size 1 1. 10. 8.44 1.19 22.94 10. 1.19
time (sec) N/A 0.003 0.004 0.001 1.102 0.68 0.121 1.204


















Problem 353 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B B B B B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 181 371 160 181
normalized size 1 1. 10. 8.44 11.31 23.19 10. 11.31
time (sec) N/A 0.008 0.006 0.002 1.016 0.644 0.145 1.177


















Problem 354 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B A B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 16 16 160 135 19 371 160 19
normalized size 1 1. 10. 8.44 1.19 23.19 10. 1.19
time (sec) N/A 0.003 0.006 0.001 0.981 0.589 0.133 1.187


















Problem 355 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 23 36 50 55 48 0
normalized size 1 1. 1. 1.57 2.17 2.39 2.09 0.
time (sec) N/A 0.011 0.008 0.01 1.006 0.931 0.693 0.


















Problem 356 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 23 23 22 39 36 66 41 0
normalized size 1 1. 0.96 1.7 1.57 2.87 1.78 0.
time (sec) N/A 0.013 0.006 0.008 1.038 0.877 1.712 0.


















Problem 357 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 41 26 68 39 0
normalized size 1 1. 1. 2.73 1.73 4.53 2.6 0.
time (sec) N/A 0.008 0.004 0.01 1.024 0.907 1.994 0.


















Problem 358 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 22 22 22 32 22 66 20 0
normalized size 1 1. 1. 1.45 1. 3. 0.91 0.
time (sec) N/A 0.01 0.006 0.028 1.111 0.832 1.989 0.


















Problem 359 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 15 15 15 34 15 68 22 0
normalized size 1 1. 1. 2.27 1. 4.53 1.47 0.
time (sec) N/A 0.006 0.003 0.009 1.048 0.722 1.642 0.


















Problem 360 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 12 11 27 8 12
normalized size 1 1. 1. 1. 0.92 2.25 0.67 1.
time (sec) N/A 0.004 0.002 0.003 1.041 0.823 0.152 1.172


















Problem 361 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B A A B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 14 116 23 30 22 24
normalized size 1 1. 1. 8.29 1.64 2.14 1.57 1.71
time (sec) N/A 0.005 0.002 0.096 1.035 0.788 0.385 1.177


















Problem 362 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 12 12 12 9 11 30 10 43
normalized size 1 1. 1. 0.75 0.92 2.5 0.83 3.58
time (sec) N/A 0.004 0.002 0. 1.683 0.847 0.261 1.178


















Problem 363 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 24 39 42 78 76 0
normalized size 1 1. 1. 1.62 1.75 3.25 3.17 0.
time (sec) N/A 0.016 0.021 0.02 1.613 0.774 0.681 0.


















Problem 364 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 75 75 104 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 0.114 0.2 0.532 0. 0. 0. 0.


















Problem 365 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 99 99 109 0 0 0 0 0
normalized size 1 1. 1.1 0. 0. 0. 0. 0.
time (sec) N/A 0.157 0.064 0.584 0. 0. 0. 0.


















Problem 366 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 91 91 103 0 0 0 0 0
normalized size 1 1. 1.13 0. 0. 0. 0. 0.
time (sec) N/A 0.155 0.247 0.379 0. 0. 0. 0.


















Problem 367 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 99 0 0 0 0 0
normalized size 1 1. 1.39 0. 0. 0. 0. 0.
time (sec) N/A 0.076 0.144 0.341 0. 0. 0. 0.


















Problem 368 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 100 0 0 0 0 0
normalized size 1 1. 1.15 0. 0. 0. 0. 0.
time (sec) N/A 0.138 0.251 0.383 0. 0. 0. 0.


















Problem 369 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 46 39 0 223 78 0
normalized size 1 1. 0.9 0.76 0. 4.37 1.53 0.
time (sec) N/A 0.029 0.013 0.002 0. 0.904 2.231 0.


















Problem 370 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 85 0 0 0 0 0
normalized size 1 1. 1.01 0. 0. 0. 0. 0.
time (sec) N/A 0.171 0.062 0.368 0. 0. 0. 0.


















Problem 371 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 78 0 0 0 0 0
normalized size 1 1. 1.28 0. 0. 0. 0. 0.
time (sec) N/A 0.083 0.053 0.34 0. 0. 0. 0.


















Problem 372 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 85 0 0 0 0 0
normalized size 1 1. 1. 0. 0. 0. 0. 0.
time (sec) N/A 0.199 0.068 0.346 0. 0. 0. 0.


















Problem 373 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 141 141 131 0 0 0 0 0
normalized size 1 1. 0.93 0. 0. 0. 0. 0.
time (sec) N/A 0.225 0.233 0.61 0. 0. 0. 0.


















Problem 374 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 128 128 126 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.209 0.293 0.335 0. 0. 0. 0.


















Problem 375 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 104 104 117 0 0 0 0 0
normalized size 1 1. 1.12 0. 0. 0. 0. 0.
time (sec) N/A 0.133 0.158 0.324 0. 0. 0. 0.


















Problem 376 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 120 0 0 0 0 0
normalized size 1 1. 0.98 0. 0. 0. 0. 0.
time (sec) N/A 0.188 0.251 0.323 0. 0. 0. 0.


















Problem 377 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 73 73 58 51 0 277 88 0
normalized size 1 1. 0.79 0.7 0. 3.79 1.21 0.
time (sec) N/A 0.041 0.026 0.002 0. 0.968 4.757 0.


















Problem 378 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 117 117 97 0 0 0 0 0
normalized size 1 1. 0.83 0. 0. 0. 0. 0.
time (sec) N/A 0.23 0.071 0.323 0. 0. 0. 0.


















Problem 379 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 98 98 94 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.172 0.068 0.322 0. 0. 0. 0.


















Problem 380 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 122 122 100 0 0 0 0 0
normalized size 1 1. 0.82 0. 0. 0. 0. 0.
time (sec) N/A 0.276 0.084 0.322 0. 0. 0. 0.


















Problem 381 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 96 0 0 0 0 0
normalized size 1 1. 0.96 0. 0. 0. 0. 0.
time (sec) N/A 0.212 0.072 0.327 0. 0. 0. 0.


















Problem 382 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 58 47 0 231 0 88
normalized size 1 1. 1.14 0.92 0. 4.53 0. 1.73
time (sec) N/A 0.077 0.026 0.007 0. 0.917 0. 1.125


















Problem 383 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 42 42 62 61 0 259 0 92
normalized size 1 1. 1.48 1.45 0. 6.17 0. 2.19
time (sec) N/A 0.023 0.028 0.005 0. 0.86 0. 1.248


















Problem 384 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 66 55 0 261 0 93
normalized size 1 1. 1.29 1.08 0. 5.12 0. 1.82
time (sec) N/A 0.065 0.037 0.007 0. 0.847 0. 1.138


















Problem 385 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 70 74 0 255 0 0
normalized size 1 1. 1.15 1.21 0. 4.18 0. 0.
time (sec) N/A 0.08 0.021 1.267 0. 0.776 0. 0.


















Problem 386 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 66 56 0 228 0 82
normalized size 1 1. 1.25 1.06 0. 4.3 0. 1.55
time (sec) N/A 0.079 0.03 0.01 0. 0.858 0. 1.286


















Problem 387 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 68 81 0 259 0 86
normalized size 1 1. 1.58 1.88 0. 6.02 0. 2.
time (sec) N/A 0.023 0.031 0.008 0. 0.757 0. 1.227


















Problem 388 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 73 73 0 258 0 88
normalized size 1 1. 1.38 1.38 0. 4.87 0. 1.66
time (sec) N/A 0.068 0.04 0.019 0. 0.822 0. 1.302


















Problem 389 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 78 105 0 252 0 0
normalized size 1 1. 1.24 1.67 0. 4. 0. 0.
time (sec) N/A 0.08 0.029 0.721 0. 0.929 0. 0.


















Problem 390 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 62 62 98 0 0 0 0 0
normalized size 1 1. 1.58 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.14 0.374 0. 0. 0. 0.


















Problem 391 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 89 0 0 0 0 0
normalized size 1 1. 1.68 0. 0. 0. 0. 0.
time (sec) N/A 0.099 0.154 0.331 0. 0. 0. 0.


















Problem 392 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 78 0 0 0 0 0
normalized size 1 1. 2.11 0. 0. 0. 0. 0.
time (sec) N/A 0.015 0.068 0.326 0. 0. 0. 0.


















Problem 393 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 51 51 87 0 0 0 0 0
normalized size 1 1. 1.71 0. 0. 0. 0. 0.
time (sec) N/A 0.085 0.119 0.338 0. 0. 0. 0.


















Problem 394 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) A A F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 31 26 0 169 27 0
normalized size 1 1. 1. 0.84 0. 5.45 0.87 0.
time (sec) N/A 0.02 0.006 0.004 0. 0.79 1.894 0.


















Problem 395 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 68 0 0 0 0 0
normalized size 1 1. 1.26 0. 0. 0. 0. 0.
time (sec) N/A 0.111 0.048 0.339 0. 0. 0. 0.


















Problem 396 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 66 0 0 0 0 0
normalized size 1 1. 1.65 0. 0. 0. 0. 0.
time (sec) N/A 0.074 0.047 0.319 0. 0. 0. 0.


















Problem 397 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 68 0 0 0 0 0
normalized size 1 1. 1.26 0. 0. 0. 0. 0.
time (sec) N/A 0.136 0.05 0.329 0. 0. 0. 0.


















Problem 398 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 117 0 0 0 0 0
normalized size 1 1. 1.09 0. 0. 0. 0. 0.
time (sec) N/A 0.187 0.176 0.37 0. 0. 0. 0.


















Problem 399 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 94 94 109 0 0 0 0 0
normalized size 1 1. 1.16 0. 0. 0. 0. 0.
time (sec) N/A 0.16 0.187 0.322 0. 0. 0. 0.


















Problem 400 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 91 0 0 0 0 0
normalized size 1 1. 1.26 0. 0. 0. 0. 0.
time (sec) N/A 0.088 0.139 0.319 0. 0. 0. 0.


















Problem 401 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 104 0 0 0 0 0
normalized size 1 1. 1.22 0. 0. 0. 0. 0.
time (sec) N/A 0.138 0.187 0.335 0. 0. 0. 0.


















Problem 402 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C A F(-2) A B F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 54 54 40 42 0 335 185 0
normalized size 1 1. 0.74 0.78 0. 6.2 3.43 0.
time (sec) N/A 0.033 0.014 0.003 0. 0.847 3.496 0.


















Problem 403 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 55 0 0 0 0 0
normalized size 1 1. 0.61 0. 0. 0. 0. 0.
time (sec) N/A 0.194 0.046 0.328 0. 0. 0. 0.


















Problem 404 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 51 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.156 0.041 0.326 0. 0. 0. 0.


















Problem 405 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 90 90 55 0 0 0 0 0
normalized size 1 1. 0.61 0. 0. 0. 0. 0.
time (sec) N/A 0.217 0.052 0.327 0. 0. 0. 0.


















Problem 406 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F(-1) F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 72 72 51 0 0 0 0 0
normalized size 1 1. 0.71 0. 0. 0. 0. 0.
time (sec) N/A 0.152 0.042 0.336 0. 0. 0. 0.


















Problem 407 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 63 477 0 236 0 0
normalized size 1 1. 1.97 14.91 0. 7.38 0. 0.
time (sec) N/A 0.014 0.024 0.014 0. 1.165 0. 0.


















Problem 408 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 59 49 0 196 0 0
normalized size 1 1. 1.84 1.53 0. 6.12 0. 0.
time (sec) N/A 0.016 0.021 0.051 0. 0.836 0. 0.


















Problem 409 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 32 32 63 0 0 244 0 0
normalized size 1 1. 1.97 0. 0. 7.62 0. 0.
time (sec) N/A 0.016 0.024 0.026 0. 2.591 0. 0.


















Problem 410 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 76 0 0 216 0 0
normalized size 1 1. 2.05 0. 0. 5.84 0. 0.
time (sec) N/A 0.024 0.039 0.358 0. 0.912 0. 0.


















Problem 411 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 66 471 0 240 0 0
normalized size 1 1. 2. 14.27 0. 7.27 0. 0.
time (sec) N/A 0.014 0.026 0.566 0. 1.541 0. 0.


















Problem 412 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 62 53 0 198 0 0
normalized size 1 1. 1.88 1.61 0. 6. 0. 0.
time (sec) N/A 0.015 0.022 0.013 0. 1.026 0. 0.


















Problem 413 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 33 33 66 0 0 248 0 0
normalized size 1 1. 2. 0. 0. 7.52 0. 0.
time (sec) N/A 0.016 0.025 0.031 0. 3.252 0. 0.


















Problem 414 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 78 0 0 219 0 0
normalized size 1 1. 2.05 0. 0. 5.76 0. 0.
time (sec) N/A 0.023 0.043 0.586 0. 1.004 0. 0.


















Problem 415 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 78 0 0 0 0 0
normalized size 1 1. 2.11 0. 0. 0. 0. 0.
time (sec) N/A 0.023 0.075 0.349 0. 0. 0. 0.


















Problem 416 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 78 0 0 252 0 0
normalized size 1 1. 2.11 0. 0. 6.81 0. 0.
time (sec) N/A 0.019 0.022 2.16 0. 1.025 0. 0.


















Problem 417 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 37 37 78 0 0 0 0 0
normalized size 1 1. 2.11 0. 0. 0. 0. 0.
time (sec) N/A 0.018 0.022 0.334 0. 0. 0. 0.


















Problem 418 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 80 0 0 0 0 0
normalized size 1 1. 2.11 0. 0. 0. 0. 0.
time (sec) N/A 0.021 0.08 0.346 0. 0. 0. 0.


















Problem 419 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 80 0 0 251 0 0
normalized size 1 1. 2.11 0. 0. 6.61 0. 0.
time (sec) N/A 0.02 0.022 0.813 0. 1.011 0. 0.


















Problem 420 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 80 0 0 0 0 0
normalized size 1 1. 2.11 0. 0. 0. 0. 0.
time (sec) N/A 0.019 0.023 0.345 0. 0. 0. 0.


















Problem 421 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 107 107 218 0 0 0 0 0
normalized size 1 1. 2.04 0. 0. 0. 0. 0.
time (sec) N/A 0.102 0.355 0.692 0. 0. 0. 0.


















Problem 422 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 100 100 156 0 0 0 0 0
normalized size 1 1. 1.56 0. 0. 0. 0. 0.
time (sec) N/A 0.095 0.191 0.512 0. 0. 0. 0.


















Problem 423 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 102 102 106 0 0 0 0 0
normalized size 1 1. 1.04 0. 0. 0. 0. 0.
time (sec) N/A 0.097 0.081 0.37 0. 0. 0. 0.


















Problem 424 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 116 0 0 0 0 0
normalized size 1 1. 1.05 0. 0. 0. 0. 0.
time (sec) N/A 0.108 0.128 0.372 0. 0. 0. 0.


















Problem 425 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 111 111 166 0 0 0 0 0
normalized size 1 1. 1.5 0. 0. 0. 0. 0.
time (sec) N/A 0.106 0.377 0.357 0. 0. 0. 0.


















Problem 426 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 97 97 177 0 0 0 0 0
normalized size 1 1. 1.82 0. 0. 0. 0. 0.
time (sec) N/A 0.055 0.194 0.398 0. 0. 0. 0.


















Problem 427 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 87 87 134 0 0 0 0 0
normalized size 1 1. 1.54 0. 0. 0. 0. 0.
time (sec) N/A 0.053 0.143 0.387 0. 0. 0. 0.


















Problem 428 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 93 93 88 0 0 0 0 0
normalized size 1 1. 0.95 0. 0. 0. 0. 0.
time (sec) N/A 0.051 0.051 0.357 0. 0. 0. 0.


















Problem 429 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 104 0 0 0 0 0
normalized size 1 1. 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.083 0.36 0. 0. 0. 0.


















Problem 430 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F(-2) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 101 101 185 0 0 0 0 0
normalized size 1 1. 1.83 0. 0. 0. 0. 0.
time (sec) N/A 0.057 0.243 0.348 0. 0. 0. 0.


















Problem 431 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 18 18 19 16 0 46 0 68
normalized size 1 1. 1.06 0.89 0. 2.56 0. 3.78
time (sec) N/A 0.007 0.005 0.024 0. 0.921 0. 1.288


















Problem 432 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 20 20 20 18 0 55 0 15
normalized size 1 1. 1. 0.9 0. 2.75 0. 0.75
time (sec) N/A 0.003 0.01 0.009 0. 1.192 0. 1.276


















Problem 433 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 8 8 8 7 8 26 7 8
normalized size 1 1. 1. 0.88 1. 3.25 0.88 1.
time (sec) N/A 0.004 0.002 0.004 1.718 0.959 0.231 1.327


















Problem 434 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 29 19 58 0 36
normalized size 1 1. 1. 1.16 0.76 2.32 0. 1.44
time (sec) N/A 0.01 0.012 0.005 1.249 0.909 0. 1.458


















Problem 435 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 29 19 58 0 36
normalized size 1 1. 1. 1.16 0.76 2.32 0. 1.44
time (sec) N/A 0.011 0.002 0.002 1.133 0.938 0. 1.171


















Problem 436 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 25 29 19 61 0 19
normalized size 1 1. 1. 1.16 0.76 2.44 0. 0.76
time (sec) N/A 0.008 0.011 0.004 1.165 0.918 0. 1.242


















Problem 437 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 988 988 61 0 0 0 0 0
normalized size 1 1. 0.06 0. 0. 0. 0. 0.
time (sec) N/A 2.245 0.019 0.203 0. 0. 0. 0.


















Problem 438 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 487 487 61 0 0 0 0 0
normalized size 1 1. 0.13 0. 0. 0. 0. 0.
time (sec) N/A 0.974 0.016 0.202 0. 0. 0. 0.


















Problem 439 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 92 92 0 0 0 0 0
normalized size 1 1.03 1.03 0. 0. 0. 0. 0.
time (sec) N/A 0.068 0.104 0.582 0. 0. 0. 0.


















Problem 440 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 73 0 0 0 0 0
normalized size 1 1. 1.06 0. 0. 0. 0. 0.
time (sec) N/A 0.068 0.117 0.632 0. 0. 0. 0.


















Problem 441 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 66 74 74 0 0 0 0 0
normalized size 1 1.12 1.12 0. 0. 0. 0. 0.
time (sec) N/A 0.068 0.096 0.511 0. 0. 0. 0.


















Problem 442 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 69 69 82 0 0 0 0 0
normalized size 1 1. 1.19 0. 0. 0. 0. 0.
time (sec) N/A 0.078 0.159 0.51 0. 0. 0. 0.


















Problem 443 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F F F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 84 84 83 0 0 0 0 0
normalized size 1 1. 0.99 0. 0. 0. 0. 0.
time (sec) N/A 0.081 0.132 0.528 0. 0. 0. 0.


















Problem 444 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 43 0 0 147 0 0
normalized size 1 1. 0.98 0. 0. 3.34 0. 0.
time (sec) N/A 0.015 0.035 0.547 0. 0.755 0. 0.


















Problem 445 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 43 0 0 131 0 0
normalized size 1 1. 0.98 0. 0. 2.98 0. 0.
time (sec) N/A 0.015 0.003 0.388 0. 0.759 0. 0.


















Problem 446 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 45 0 0 174 0 0
normalized size 1 1. 0.98 0. 0. 3.78 0. 0.
time (sec) N/A 0.075 0.042 0.542 0. 0.768 0. 0.


















Problem 447 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 45 0 0 190 0 0
normalized size 1 1. 0.98 0. 0. 4.13 0. 0.
time (sec) N/A 0.045 0.004 0.542 0. 0.997 0. 0.


















Problem 448 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 36 40 23 88 0 0
normalized size 1 1. 0.82 0.91 0.52 2. 0. 0.
time (sec) N/A 0.018 0.031 0.028 1.179 0.775 0. 0.


















Problem 449 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 36 40 23 90 0 0
normalized size 1 1. 0.82 0.91 0.52 2.05 0. 0.
time (sec) N/A 0.017 0.03 0.019 1.19 0.679 0. 0.


















Problem 450 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 36 40 23 90 0 0
normalized size 1 1. 0.82 0.91 0.52 2.05 0. 0.
time (sec) N/A 0.018 0.03 0.018 1.069 0.934 0. 0.


















Problem 451 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 57 57 47 0 0 101 0 0
normalized size 1 1. 0.82 0. 0. 1.77 0. 0.
time (sec) N/A 0.028 0.021 0.435 0. 0.919 0. 0.


















Problem 452 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 61 61 45 0 0 107 0 0
normalized size 1 1. 0.74 0. 0. 1.75 0. 0.
time (sec) N/A 0.025 0.025 0.395 0. 0.908 0. 0.


















Problem 453 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 39 39 40 0 0 155 0 0
normalized size 1 1. 1.03 0. 0. 3.97 0. 0.
time (sec) N/A 0.05 0.024 0.53 0. 0.879 0. 0.


















Problem 454 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F A F(-1) F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 38 0 0 135 0 0
normalized size 1 1. 0.95 0. 0. 3.38 0. 0.
time (sec) N/A 0.074 0.04 0.47 0. 0.858 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [347] had the largest ratio of [ 0.7778 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 2 1 1. 13 0.077







2 A 2 1 1. 11 0.091







3 A 1 0 1. 9 0.







4 A 2 1 1. 13 0.077







5 A 2 1 1. 13 0.077







6 A 3 2 1. 15 0.133







7 A 4 3 1. 13 0.231







8 A 3 2 1. 11 0.182







9 A 2 2 1. 15 0.133







10 A 3 2 1. 15 0.133







11 A 3 2 1. 11 0.182







12 A 4 3 1. 15 0.2







13 A 3 3 1. 15 0.2







14 A 2 2 1. 15 0.133







15 A 2 2 1. 13 0.154







16 A 5 5 1. 11 0.454







17 A 3 3 1. 15 0.2







18 A 4 3 1. 15 0.2







19 A 4 3 1. 15 0.2







20 A 4 3 1. 15 0.2







21 A 3 3 1. 15 0.2







22 A 4 3 1. 13 0.231







23 A 4 4 1. 11 0.364







24 A 4 3 1. 15 0.2







25 A 5 4 1. 15 0.267







26 A 4 3 1. 13 0.231







27 A 4 3 1. 13 0.231







28 A 3 3 1. 13 0.231







29 A 2 2 1. 13 0.154







30 A 2 2 1. 11 0.182







31 A 5 5 1. 9 0.556







32 A 3 3 1. 13 0.231







33 A 4 3 1. 13 0.231







34 A 4 3 1. 13 0.231







35 A 4 3 1. 13 0.231







36 A 5 5 1. 9 0.556







37 A 5 5 1. 11 0.454







38 A 6 5 1. 17 0.294







39 A 7 7 1. 17 0.412







40 A 5 5 1. 15 0.333







41 A 6 6 1. 13 0.462







42 A 4 4 1. 17 0.235







43 A 6 6 1. 17 0.353







44 A 4 4 1. 17 0.235







45 A 7 7 1. 17 0.412







46 A 7 5 1. 17 0.294







47 A 8 7 1. 15 0.467







48 A 6 6 1. 13 0.462







49 A 7 7 1. 17 0.412







50 A 5 4 1. 17 0.235







51 A 7 7 1. 17 0.412







52 A 5 5 1. 17 0.294







53 A 7 6 1. 17 0.353







54 A 5 4 1. 17 0.235







55 A 8 7 1. 17 0.412







56 A 6 5 1. 17 0.294







57 A 5 4 1. 17 0.235







58 A 6 6 1. 17 0.353







59 A 4 4 1. 17 0.235







60 A 5 5 1. 15 0.333







61 A 3 3 1. 13 0.231







62 A 6 6 1. 17 0.353







63 A 4 4 1. 17 0.235







64 A 7 6 1. 17 0.353







65 A 6 5 1. 17 0.294







66 A 7 7 1. 17 0.412







67 A 5 5 1. 17 0.294







68 A 6 6 1. 17 0.353







69 A 4 4 1. 17 0.235







70 A 6 6 1. 17 0.353







71 A 4 4 1. 15 0.267







72 A 7 7 1. 13 0.538







73 A 5 5 1. 17 0.294







74 A 8 7 1. 17 0.412







75 A 7 4 1. 19 0.21







76 A 5 2 1. 19 0.105







77 A 6 3 1. 19 0.158







78 A 4 2 1. 19 0.105







79 A 1 1 1. 19 0.053







80 A 3 2 1. 19 0.105







81 A 2 2 1. 19 0.105







82 A 2 2 1. 19 0.105







83 A 3 2 1. 19 0.105







84 A 1 1 1. 19 0.053







85 A 4 2 1. 19 0.105







86 A 6 3 1. 19 0.158







87 A 5 2 1. 19 0.105







88 A 7 4 1. 19 0.21







89 A 6 3 1. 19 0.158







90 A 8 4 1. 19 0.21







91 A 7 3 1. 19 0.158







92 A 3 3 1. 17 0.176







93 A 2 2 1. 15 0.133







94 A 1 1 1. 17 0.059







95 A 2 2 1. 17 0.118







96 A 3 2 1. 17 0.118







97 A 4 4 1. 17 0.235







98 A 3 3 1. 13 0.231







99 A 4 4 1. 17 0.235







100 A 6 6 1. 17 0.353







101 A 5 5 1. 17 0.294







102 A 6 6 1. 17 0.353







103 A 8 5 1. 19 0.263







104 A 6 5 1. 17 0.294







105 A 4 4 1. 15 0.267







106 A 1 1 1. 19 0.053







107 A 3 2 1. 19 0.105







108 A 5 2 1. 19 0.105







109 A 7 2 1. 19 0.105







110 A 9 6 1. 19 0.316







111 A 7 6 1. 19 0.316







112 A 5 5 1. 17 0.294







113 A 1 1 1. 15 0.067







114 A 3 3 1. 19 0.158







115 A 5 3 1. 19 0.158







116 A 7 3 1. 19 0.158







117 A 9 5 1. 21 0.238







118 A 7 5 1. 21 0.238







119 A 5 5 1. 21 0.238







120 A 3 3 1. 21 0.143







121 A 2 2 1. 21 0.095







122 A 4 2 1. 21 0.095







123 A 6 2 1. 21 0.095







124 A 8 6 1. 21 0.286







125 A 6 6 1. 21 0.286







126 A 4 4 1. 21 0.19







127 A 2 2 1. 21 0.095







128 A 4 3 1. 21 0.143







129 A 6 3 1. 21 0.143







130 A 8 3 1. 21 0.143







131 A 11 6 1. 19 0.316







132 A 11 8 1. 19 0.421







133 A 8 6 1. 17 0.353







134 A 8 8 1. 15 0.533







135 A 5 5 1. 19 0.263







136 A 8 8 1. 19 0.421







137 A 7 6 1. 19 0.316







138 A 11 8 1. 19 0.421







139 A 10 6 1. 19 0.316







140 A 11 6 1. 19 0.316







141 A 11 8 1. 17 0.471







142 A 8 7 1. 15 0.467







143 A 8 8 1. 19 0.421







144 A 6 6 1. 19 0.316







145 A 9 8 1. 19 0.421







146 A 8 6 1. 19 0.316







147 A 12 8 1. 19 0.421







148 A 11 6 1. 19 0.316







149 A 11 5 1. 19 0.263







150 A 11 7 1. 19 0.368







151 A 8 5 1. 19 0.263







152 A 8 7 1. 17 0.412







153 A 5 5 1. 15 0.333







154 A 7 7 1. 19 0.368







155 A 6 5 1. 19 0.263







156 A 10 7 1. 19 0.368







157 A 9 5 1. 19 0.263







158 A 12 8 1. 19 0.421







159 A 9 6 1. 19 0.316







160 A 9 8 1. 19 0.421







161 A 6 6 1. 17 0.353







162 A 7 7 1. 15 0.467







163 A 6 6 1. 19 0.316







164 A 10 8 1. 19 0.421







165 A 9 6 1. 19 0.316







166 A 13 8 1. 19 0.421







167 A 13 3 1. 19 0.158







168 A 10 3 1. 19 0.158







169 A 7 3 1. 17 0.176







170 A 4 3 1. 15 0.2







171 A 1 1 1. 19 0.053







172 A 4 4 1. 19 0.21







173 A 7 4 1. 19 0.21







174 A 10 4 1. 19 0.21







175 A 13 4 1. 19 0.21







176 A 12 3 1. 19 0.158







177 A 9 3 1. 17 0.176







178 A 6 3 1. 15 0.2







179 A 3 2 1. 19 0.105







180 A 4 3 1. 19 0.158







181 A 5 4 1. 19 0.21







182 A 8 4 1. 19 0.21







183 A 11 4 1. 19 0.21







184 A 14 4 1. 19 0.21







185 A 14 3 1. 19 0.158







186 A 11 3 1. 19 0.158







187 A 8 3 1. 19 0.158







188 A 5 3 1. 17 0.176







189 A 2 2 1. 15 0.133







190 A 3 3 1. 19 0.158







191 A 6 3 1. 19 0.158







192 A 9 3 1. 19 0.158







193 A 12 3 1. 19 0.158







194 A 12 4 1. 19 0.21







195 A 9 4 1. 19 0.21







196 A 6 4 1. 19 0.21







197 A 3 3 1. 17 0.176







198 A 3 3 1. 15 0.2







199 A 6 4 1. 19 0.21







200 A 9 4 1. 19 0.21







201 A 12 4 1. 19 0.21







202 A 15 4 1. 19 0.21







203 A 2 1 1. 15 0.067







204 A 2 1 1. 13 0.077







205 A 1 0 1. 11 0.







206 A 2 1 1. 15 0.067







207 A 2 1 1. 15 0.067







208 A 3 2 1. 17 0.118







209 A 3 2 1. 15 0.133







210 A 3 2 1. 13 0.154







211 A 3 2 1. 17 0.118







212 A 3 2 1. 17 0.118







213 A 3 2 1. 17 0.118







214 A 3 2 1. 17 0.118







215 A 3 2 1. 17 0.118







216 A 3 2 1. 17 0.118







217 A 2 2 1. 17 0.118







218 A 4 4 1. 15 0.267







219 A 3 2 1. 13 0.154







220 A 3 2 1. 17 0.118







221 A 3 2 1. 17 0.118







222 A 3 2 1. 17 0.118







223 A 3 2 1. 17 0.118







224 A 3 2 1. 17 0.118







225 A 3 2 1. 17 0.118







226 A 2 2 1. 17 0.118







227 A 3 2 1. 17 0.118







228 A 3 2 1. 17 0.118







229 A 3 2 1. 15 0.133







230 A 3 2 1. 13 0.154







231 A 3 2 1. 17 0.118







232 A 4 3 1. 19 0.158







233 A 3 3 1. 17 0.176







234 A 2 2 1. 15 0.133







235 A 1 1 1. 19 0.053







236 A 3 3 1. 19 0.158







237 A 3 3 1. 19 0.158







238 A 4 4 1. 19 0.21







239 A 5 4 1. 19 0.21







240 A 6 3 1. 19 0.158







241 A 5 3 1. 17 0.176







242 A 4 3 1. 15 0.2







243 A 3 2 1. 19 0.105







244 A 2 2 1. 19 0.105







245 A 1 1 1. 19 0.053







246 A 4 3 1. 19 0.158







247 A 4 4 1. 19 0.21







248 A 4 3 1. 19 0.158







249 A 5 4 1. 19 0.21







250 A 6 4 1. 19 0.21







251 A 7 4 1. 19 0.21







252 A 4 2 1. 19 0.105







253 A 3 2 1. 19 0.105







254 A 2 2 1. 19 0.105







255 A 1 1 1. 17 0.059







256 A 2 2 1. 15 0.133







257 A 3 3 1. 19 0.158







258 A 4 3 1. 19 0.158







259 A 5 3 1. 19 0.158







260 A 4 3 1. 19 0.158







261 A 3 3 1. 19 0.158







262 A 2 2 1. 19 0.105







263 A 1 1 1. 19 0.053







264 A 3 3 1. 19 0.158







265 A 4 4 1. 17 0.235







266 A 5 4 1. 15 0.267







267 A 6 4 1. 19 0.21







268 A 7 4 1. 19 0.21







269 A 5 3 1. 21 0.143







270 A 4 3 1. 21 0.143







271 A 3 3 1. 21 0.143







272 A 2 2 1. 21 0.095







273 A 1 1 1. 21 0.048







274 A 2 2 1. 21 0.095







275 A 3 2 1. 21 0.095







276 A 4 2 1. 21 0.095







277 A 3 3 1. 21 0.143







278 A 3 3 1.27 19 0.158







279 A 3 3 1. 21 0.143







280 A 1 1 1. 21 0.048







281 A 2 2 1. 21 0.095







282 A 3 2 1. 21 0.095







283 A 2 2 1. 17 0.118







284 A 3 2 1. 19 0.105







285 A 2 2 1. 19 0.105







286 A 1 1 1. 19 0.053







287 A 2 2 1. 15 0.133







288 A 3 3 1. 19 0.158







289 A 3 3 1. 19 0.158







290 A 2 2 1. 17 0.118







291 A 3 3 1. 19 0.158







292 A 5 5 1. 19 0.263







293 A 4 4 1. 19 0.21







294 A 5 5 1. 19 0.263







295 A 5 4 1. 21 0.19







296 A 6 6 1. 21 0.286







297 A 3 3 1. 21 0.143







298 A 4 4 1. 21 0.19







299 A 5 5 1. 21 0.238







300 A 2 2 1. 21 0.095







301 A 3 3 1. 21 0.143







302 A 6 6 1. 21 0.286







303 A 1 1 1. 21 0.048







304 A 4 4 1. 21 0.19







305 A 7 6 1. 21 0.286







306 A 2 2 1. 21 0.095







307 A 5 4 1. 21 0.19







308 A 3 2 1. 15 0.133







309 A 3 2 1. 13 0.154







310 A 5 3 1. 19 0.158







311 A 4 3 1. 19 0.158







312 A 3 3 1. 19 0.158







313 A 2 2 1. 17 0.118







314 A 1 1 1. 15 0.067







315 A 2 2 1. 19 0.105







316 A 3 2 1. 19 0.105







317 A 4 2 1. 19 0.105







318 A 5 2 1. 19 0.105







319 A 4 3 1. 11 0.273







320 A 4 3 1. 13 0.231







321 A 3 3 1. 9 0.333







322 A 3 3 1. 9 0.333







323 A 3 3 1. 9 0.333







324 A 3 3 1. 13 0.231







325 A 3 3 1. 13 0.231







326 A 3 3 1. 13 0.231







327 A 3 3 1. 13 0.231







328 A 2 2 1. 11 0.182







329 A 2 2 1. 15 0.133







330 A 2 2 1. 15 0.133







331 A 2 2 1. 23 0.087







332 A 2 2 1. 11 0.182







333 A 2 2 1. 13 0.154







334 A 2 2 1. 13 0.154







335 A 2 2 1. 17 0.118







336 A 2 2 1. 17 0.118







337 A 2 2 1. 17 0.118







338 A 2 2 1. 11 0.182







339 A 2 2 1. 11 0.182







340 A 2 2 1. 11 0.182







341 A 2 2 1. 11 0.182







342 A 2 2 1. 13 0.154







343 A 2 2 1. 13 0.154







344 A 3 2 1. 11 0.182







345 A 4 3 1. 11 0.273







346 A 3 2 1. 11 0.182







347 A 7 7 1. 9 0.778







348 A 2 2 1. 22 0.091







349 A 1 1 1. 13 0.077







350 A 2 2 1. 15 0.133







351 A 2 2 1. 17 0.118







352 A 1 1 1. 13 0.077







353 A 2 2 1. 15 0.133







354 A 1 1 1. 13 0.077







355 A 2 2 1. 11 0.182







356 A 5 5 1. 13 0.385







357 A 2 2 1. 15 0.133







358 A 5 5 1. 13 0.385







359 A 2 2 1. 15 0.133







360 A 2 2 1. 11 0.182







361 A 2 2 1. 11 0.182







362 A 2 2 1. 9 0.222







363 A 5 5 1. 11 0.454







364 A 3 3 1. 25 0.12







365 A 4 4 1. 27 0.148







366 A 4 4 1. 23 0.174







367 A 4 4 1. 22 0.182







368 A 4 4 1. 21 0.19







369 A 5 5 1. 18 0.278







370 A 4 4 1. 23 0.174







371 A 3 3 1. 15 0.2







372 A 4 4 1. 23 0.174







373 A 5 4 1. 27 0.148







374 A 5 4 1. 23 0.174







375 A 5 4 1. 22 0.182







376 A 5 4 1. 21 0.19







377 A 6 5 1. 18 0.278







378 A 5 4 1. 23 0.174







379 A 5 5 1. 22 0.227







380 A 5 4 1. 23 0.174







381 A 5 4 1. 22 0.182







382 A 5 5 1. 13 0.385







383 A 5 5 1. 15 0.333







384 A 4 4 1. 15 0.267







385 A 4 4 1. 15 0.267







386 A 5 5 1. 15 0.333







387 A 5 5 1. 17 0.294







388 A 4 4 1. 17 0.235







389 A 4 4 1. 17 0.235







390 A 3 3 1. 27 0.111







391 A 3 3 1. 23 0.13







392 A 2 2 1. 15 0.133







393 A 3 3 1. 21 0.143







394 A 4 4 1. 18 0.222







395 A 3 3 1. 23 0.13







396 A 3 3 1. 22 0.136







397 A 3 3 1. 23 0.13







398 A 4 4 1. 27 0.148







399 A 4 4 1. 23 0.174







400 A 4 4 1. 22 0.182







401 A 4 4 1. 21 0.19







402 A 5 5 1. 18 0.278







403 A 4 4 1. 23 0.174







404 A 4 4 1. 22 0.182







405 A 4 4 1. 23 0.174







406 A 4 4 1. 22 0.182







407 A 3 3 1. 15 0.2







408 A 3 3 1. 15 0.2







409 A 3 3 1. 15 0.2







410 A 3 3 1. 19 0.158







411 A 3 3 1. 16 0.188







412 A 3 3 1. 16 0.188







413 A 3 3 1. 16 0.188







414 A 3 3 1. 20 0.15







415 A 3 3 1. 19 0.158







416 A 3 3 1. 17 0.176







417 A 3 3 1. 17 0.176







418 A 3 3 1. 20 0.15







419 A 3 3 1. 19 0.158







420 A 3 3 1. 18 0.167







421 A 3 3 1. 21 0.143







422 A 3 3 1. 21 0.143







423 A 3 3 1. 21 0.143







424 A 3 3 1. 21 0.143







425 A 3 3 1. 21 0.143







426 A 3 3 1. 15 0.2







427 A 3 3 1. 15 0.2







428 A 3 3 1. 15 0.2







429 A 3 3 1. 15 0.2







430 A 3 3 1. 15 0.2







431 A 2 2 1. 11 0.182







432 A 1 1 1. 11 0.091







433 A 3 3 1. 13 0.231







434 A 1 1 1. 17 0.059







435 A 1 1 1. 17 0.059







436 A 2 2 1. 15 0.133







437 A 11 10 1. 19 0.526







438 A 9 8 1. 19 0.421







439 A 3 3 1.03 17 0.176







440 A 3 3 1. 22 0.136







441 A 3 3 1.12 22 0.136







442 A 3 3 1. 27 0.111







443 A 3 3 1. 27 0.111







444 A 1 1 1. 18 0.056







445 A 2 2 1. 17 0.118







446 A 2 2 1. 22 0.091







447 A 1 1 1. 23 0.043







448 A 2 2 1. 19 0.105







449 A 2 2 1. 19 0.105







450 A 2 2 1. 19 0.105







451 A 2 2 1. 19 0.105







452 A 2 2 1. 19 0.105







453 A 1 1 1. 25 0.04







454 A 2 2 1. 28 0.071